diff options
Diffstat (limited to 'Build')
-rw-r--r-- | Build/source/texk/tetex/Makefile.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Build/source/texk/tetex/Makefile.in b/Build/source/texk/tetex/Makefile.in index a6a3e8b259f..c7db674eea8 100644 --- a/Build/source/texk/tetex/Makefile.in +++ b/Build/source/texk/tetex/Makefile.in @@ -25,6 +25,7 @@ LINKED_SCRIPTS = \ texmf/scripts/ps2eps/ps2eps.pl \ texmf/scripts/tetex/e2pall.pl \ texmf/scripts/tetex/texdoctk.pl \ + texmf/scripts/texlive/tlmgr.texlua \ texmf/scripts/texlive/getnonfreefonts.pl \ texmf/scripts/texlive/tl-package-manager.pl \ texmf-dist/scripts/glossaries/makeglossaries \ |