diff options
Diffstat (limited to 'support/texdoc/script/texdoc.tlu')
-rwxr-xr-x | support/texdoc/script/texdoc.tlu | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/support/texdoc/script/texdoc.tlu b/support/texdoc/script/texdoc.tlu new file mode 100755 index 0000000000..b859868236 --- /dev/null +++ b/support/texdoc/script/texdoc.tlu @@ -0,0 +1,17 @@ +#!/usr/bin/env texlua + +-- texdoc.tlu: the main program of texdoc +-- +-- The TeX Live Team, GPLv3, see texdoclib.tlu for details + +-- Note: we keep this file small as much as possible so that make it easier +-- to install a new version of texdoc in TEXMFHOME. + +-- setup the kpse library and load texdoclib +kpse.set_program_name(arg[-1], 'texdoc') +local texdoc = require('texdoclib') + +-- execute +texdoc.cli.exec() + +-- vim: ft=lua: |