summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/am/texmf.am
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/web2c/am/texmf.am')
-rw-r--r--Build/source/texk/web2c/am/texmf.am4
1 files changed, 4 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/am/texmf.am b/Build/source/texk/web2c/am/texmf.am
index e74c437214f..74c8338b91d 100644
--- a/Build/source/texk/web2c/am/texmf.am
+++ b/Build/source/texk/web2c/am/texmf.am
@@ -77,6 +77,8 @@ endif TEX
DISTCLEANFILES += trip.diffs
# trip.test
+trip.diffs: tex$(EXEEXT)
+ $(triptrap_diffs) $@
.PHONY: trip-clean
trip-clean:
rm -f trip.tfm trip.pl trip.tex trip.fmt tripin.fot tripin.log
@@ -174,6 +176,8 @@ TRIPTRAP_CLEAN += trap-clean
endif MF
# trap.test
+mftrap.diffs: mf$(EXEEXT)
+ $(triptrap_diffs) $@
.PHONY: trap-clean
trap-clean:
rm -f trap.mf trap.base