diff options
Diffstat (limited to 'Build/source/texk/tetex/Makefile.in')
-rw-r--r-- | Build/source/texk/tetex/Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/texk/tetex/Makefile.in b/Build/source/texk/tetex/Makefile.in index e6387f1516c..cc2e8fc768e 100644 --- a/Build/source/texk/tetex/Makefile.in +++ b/Build/source/texk/tetex/Makefile.in @@ -278,7 +278,7 @@ man1_links = $(bin_links) \ texconfig:texconfig-sys \ updmap:updmap-sys -EXTRA_DIST = README.texdoctk fontinst.bat updmap +EXTRA_DIST = README.texdoctk old-fontinst.bat old-updmap run_texlinks = $(DESTDIR)$(bindir)/texlinks -v \ -f $(DESTDIR)$(web2cdir)/fmtutil.cnf \ -e "$(EXEEXT)" $(DESTDIR)$(bindir) |