diff options
Diffstat (limited to 'Master/texmf-dist/scripts/texdoc/main.tlu')
-rw-r--r-- | Master/texmf-dist/scripts/texdoc/main.tlu | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/Master/texmf-dist/scripts/texdoc/main.tlu b/Master/texmf-dist/scripts/texdoc/main.tlu index 0058a55da8f..b5ada6e7dfb 100644 --- a/Master/texmf-dist/scripts/texdoc/main.tlu +++ b/Master/texmf-dist/scripts/texdoc/main.tlu @@ -1,7 +1,7 @@ --- $Id: main.tlu 24 2017-11-18 23:00:18Z karl $ -- main.tlu: default command-line interface of texdoc -- --- Manuel Pégourié-Gonnard, GPLv3, see texdoclib.tlu for details +-- Manuel Pégourié-Gonnard and the TeX Live team, GPLv3, +-- see texdoclib.tlu for details -- load texdoclib (kpse initialized by the wrapper) local texdoc = require('texdoc.texdoclib') @@ -69,3 +69,5 @@ end -- the end os.exit(exit_ok) + +-- vim: ft=lua: |