summaryrefslogtreecommitdiff
path: root/Build
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2019-03-28 20:58:51 +0000
committerKarl Berry <karl@freefriends.org>2019-03-28 20:58:51 +0000
commit58f64f141bad7d97ff02df9375bc53453444ba46 (patch)
tree5d6444f973219154f144330bd86f113510bd6910 /Build
parentf8c6d58ac3a950c7c156180064a167d575d38576 (diff)
texdoc (28mar19)
git-svn-id: svn://tug.org/texlive/trunk@50627 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build')
-rwxr-xr-xBuild/source/texk/texlive/linked_scripts/texdoc/texdoc.tlu14
1 files changed, 10 insertions, 4 deletions
diff --git a/Build/source/texk/texlive/linked_scripts/texdoc/texdoc.tlu b/Build/source/texk/texlive/linked_scripts/texdoc/texdoc.tlu
index 90b507e283a..b8598682364 100755
--- a/Build/source/texk/texlive/linked_scripts/texdoc/texdoc.tlu
+++ b/Build/source/texk/texlive/linked_scripts/texdoc/texdoc.tlu
@@ -1,11 +1,17 @@
#!/usr/bin/env texlua
--- texdoc.tlu: small wrapper around main.tlu
--- (makes it easier to install a new version of texdoc in TEXMFHOME)
+-- texdoc.tlu: the main program of texdoc
--
--- The TeX Live team, GPLv3, see texdoclib.tlu for details
+-- 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')
-require('texdoc.main')
+local texdoc = require('texdoclib')
+
+-- execute
+texdoc.cli.exec()
-- vim: ft=lua: