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.am | |
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.am')
-rw-r--r-- | Build/source/texk/tetex/Makefile.am | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Build/source/texk/tetex/Makefile.am b/Build/source/texk/tetex/Makefile.am index 12717bd83a7..7466de17514 100644 --- a/Build/source/texk/tetex/Makefile.am +++ b/Build/source/texk/tetex/Makefile.am @@ -115,8 +115,8 @@ EXTRA_DIST = \ ## Not used ## EXTRA_DIST += \ - fontinst.bat \ - updmap + old-fontinst.bat \ + old-updmap ## ## This target is invoked by the top-level make, |