diff options
Diffstat (limited to 'Build/source/texk/web2c/pdftexdir/am/pdftex.am')
-rw-r--r-- | Build/source/texk/web2c/pdftexdir/am/pdftex.am | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/Build/source/texk/web2c/pdftexdir/am/pdftex.am b/Build/source/texk/web2c/pdftexdir/am/pdftex.am index 8903a3abbb2..079ffcf1a7e 100644 --- a/Build/source/texk/web2c/pdftexdir/am/pdftex.am +++ b/Build/source/texk/web2c/pdftexdir/am/pdftex.am @@ -88,7 +88,5 @@ EXTRA_DIST += pdftexdir/pdftex.mak ## Eventually delete these files ## EXTRA_DIST += \ - pdftexdir/Makefile.in.orig \ - pdftexdir/pdftex.mk \ - pdftexdir/pdftexlib.mk + pdftexdir/pdftex.mk |