summaryrefslogtreecommitdiff
path: root/Build/source/texk/dvipsk/Makefile.in
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/dvipsk/Makefile.in')
-rw-r--r--Build/source/texk/dvipsk/Makefile.in2
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/texk/dvipsk/Makefile.in b/Build/source/texk/dvipsk/Makefile.in
index 3d7cc5a97e5..787b9bce372 100644
--- a/Build/source/texk/dvipsk/Makefile.in
+++ b/Build/source/texk/dvipsk/Makefile.in
@@ -390,7 +390,7 @@ EXTRA_DIST = $(dist_prologues) texc.script dvips.test pfbincl.test \
testdata/psfonts.map testdata/ptmbi.vf testdata/ptmbi8r.tfm \
testdata/ptmr.vf testdata/ptmr8r.tfm testdata/ptmri.vf \
testdata/ptmri8r.tfm testdata/special.pro testdata/texc.pro \
- testdata/texps.pro INSTALLATION atari cmfonts.map config.ps \
+ testdata/texps.pro atari cmfonts.map config.ps \
contrib/PSTricks contrib/afm-extra contrib/colorsep.lpro \
contrib/configs contrib/crop.lpr contrib/latex209 \
contrib/treen.sh contrib/treen2.sh contrib/volker \