diff options
Diffstat (limited to 'Master/texmf-dist/scripts/texdoc/texdoclib-cli.tlu')
-rwxr-xr-x | Master/texmf-dist/scripts/texdoc/texdoclib-cli.tlu | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Master/texmf-dist/scripts/texdoc/texdoclib-cli.tlu b/Master/texmf-dist/scripts/texdoc/texdoclib-cli.tlu index 95a43b7ddd9..5818af7f184 100755 --- a/Master/texmf-dist/scripts/texdoc/texdoclib-cli.tlu +++ b/Master/texmf-dist/scripts/texdoc/texdoclib-cli.tlu @@ -1,4 +1,4 @@ --- texdoclib-cli.tlu: command line interfaces for texdoc +-- texdoclib-cli.tlu: command-line interfaces for texdoc -- -- The TeX Live Team, GPLv3, see texdoclib.tlu for details @@ -200,7 +200,7 @@ end -------------------------- the main function -------------------------- function M.exec() - -- parsing command line options + -- parsing command-line options local ok, action, cl_config = parse_options() if not ok then |