summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/ptexdir/am/ptex.am
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/web2c/ptexdir/am/ptex.am')
-rw-r--r--Build/source/texk/web2c/ptexdir/am/ptex.am2
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/ptexdir/am/ptex.am b/Build/source/texk/web2c/ptexdir/am/ptex.am
index 3119f7a3999..df62eeb7c8b 100644
--- a/Build/source/texk/web2c/ptexdir/am/ptex.am
+++ b/Build/source/texk/web2c/ptexdir/am/ptex.am
@@ -186,6 +186,7 @@ if PTEX
TESTS += $(ptex_tests)
check_PROGRAMS += dvitype pltotf tftopl
TRIPTRAP += ptrip.diffs
+TRIPTRAP_CLEAN += ptrip-clean
endif PTEX
## Test data and results
@@ -214,7 +215,6 @@ DISTCLEANFILES += tests/x*min10.*
## ptexdir/ptrip.test
EXTRA_DIST += ptexdir/ptrip.diffs
.PHONY: ptrip-clean
-clean-local:: ptrip-clean
ptrip-clean:
rm -f trip.tfm trip.pl trip.tex trip.fmt ptripin.fot ptripin.log
rm -f ptrip.fot ptrip.log trip.log trip.dvi trip.typ