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 f51b3a3e4af..a47e6fcd233 100644 --- a/Build/source/texk/web2c/pdftexdir/am/pdftex.am +++ b/Build/source/texk/web2c/pdftexdir/am/pdftex.am @@ -150,9 +150,7 @@ EXTRA_DIST += \ ## Not used ## -EXTRA_DIST += \ - pdftexdir/.indent.pro \ - pdftexdir/pdftex.mak +EXTRA_DIST += pdftexdir/pdftex.mak ## Eventually delete these files ## |