diff options
Diffstat (limited to 'Build/source/texk/web2c/alephdir/am/aleph.am')
-rw-r--r-- | Build/source/texk/web2c/alephdir/am/aleph.am | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/alephdir/am/aleph.am b/Build/source/texk/web2c/alephdir/am/aleph.am index 6de98886fbe..b3845969931 100644 --- a/Build/source/texk/web2c/alephdir/am/aleph.am +++ b/Build/source/texk/web2c/alephdir/am/aleph.am @@ -102,6 +102,7 @@ EXTRA_DIST += \ # Aleph Tests # aleph_tests = alephdir/aleph.test +alephdir/aleph.log: aleph$(EXEEXT) EXTRA_DIST += $(aleph_tests) |