diff options
author | Karl Berry <karl@freefriends.org> | 2011-06-16 14:01:09 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2011-06-16 14:01:09 +0000 |
commit | 05fcad7f3995d1d242369579cce61d5ccfdf77dd (patch) | |
tree | 066ee686a3ef1d2fe450e14e27aa1ae0b4e54674 /Build/source/texk/tetex/Makefile.in | |
parent | e7326f53cb947e1155a7dfcd96bf0afd53e585b2 (diff) |
rename now-unused scripts with old- prefix; more convenient not to throw them away just yet
git-svn-id: svn://tug.org/texlive/trunk@23013 c570f23f-e606-0410-a88d-b1316a301751
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) |