diff options
Diffstat (limited to 'Master/texmf-dist/scripts/texdoc/texdoc.tlu')
-rwxr-xr-x | Master/texmf-dist/scripts/texdoc/texdoc.tlu | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Master/texmf-dist/scripts/texdoc/texdoc.tlu b/Master/texmf-dist/scripts/texdoc/texdoc.tlu index 919e381ec33..90b507e283a 100755 --- a/Master/texmf-dist/scripts/texdoc/texdoc.tlu +++ b/Master/texmf-dist/scripts/texdoc/texdoc.tlu @@ -2,6 +2,10 @@ -- texdoc.tlu: small wrapper around main.tlu -- (makes it easier to install a new version of texdoc in TEXMFHOME) +-- +-- The TeX Live team, GPLv3, see texdoclib.tlu for details kpse.set_program_name(arg[-1], 'texdoc') require('texdoc.main') + +-- vim: ft=lua: |