diff options
Diffstat (limited to 'Build/source/texk/web2c/alephdir/am/aleph.am')
-rw-r--r-- | Build/source/texk/web2c/alephdir/am/aleph.am | 14 |
1 files changed, 12 insertions, 2 deletions
diff --git a/Build/source/texk/web2c/alephdir/am/aleph.am b/Build/source/texk/web2c/alephdir/am/aleph.am index a79c10c3a27..0e43452ea4a 100644 --- a/Build/source/texk/web2c/alephdir/am/aleph.am +++ b/Build/source/texk/web2c/alephdir/am/aleph.am @@ -104,11 +104,21 @@ EXTRA_DIST += \ # Aleph Tests # -aleph_tests = alephdir/aleph.test -alephdir/aleph.log: aleph$(EXEEXT) +aleph_tests = alephdir/aleph.test \ + alephdir/aleph-ofm.test alephdir/aleph-lmr.test +alephdir/aleph.log \ + alephdir/aleph-ofm.log alephdir/aleph-lmr.log \ + : aleph$(EXEEXT) EXTRA_DIST += $(aleph_tests) +## alephdir/aleph-ofm.test +EXTRA_DIST += alephdir/tests/al-ofm.tex alephdir/tests/al-ofm.log +DISTCLEANFILES += al-ofm.* +## alephdir/aleph-lmr.test +EXTRA_DIST += alephdir/tests/lmr1.tex alephdir/tests/al-lmr1.log +DISTCLEANFILES += al-lmr*.* + if ALEPH TESTS += $(aleph_tests) endif ALEPH |