diff options
| author | Karl Berry <karl@freefriends.org> | 2022-03-03 21:09:20 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2022-03-03 21:09:20 +0000 |
| commit | c568ce9e272d7341e2c05d8a8c204c21486b83f7 (patch) | |
| tree | 5e84088225a26e5b6c0cb6d4ae808a530002925f /Master/texmf-dist/scripts/texdoc/texdoclib-cli.tlu | |
| parent | 9150bf479bb504503a94eb23384ee565d29613a1 (diff) | |
texdoc (3mar22)
git-svn-id: svn://tug.org/texlive/trunk@62379 c570f23f-e606-0410-a88d-b1316a301751
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 |