diff options
Diffstat (limited to 'Build/source/texk/web2c/ptexdir/am/ptex.am')
-rw-r--r-- | Build/source/texk/web2c/ptexdir/am/ptex.am | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/ptexdir/am/ptex.am b/Build/source/texk/web2c/ptexdir/am/ptex.am index d8485ff1ca5..a2e35888aed 100644 --- a/Build/source/texk/web2c/ptexdir/am/ptex.am +++ b/Build/source/texk/web2c/ptexdir/am/ptex.am @@ -167,8 +167,9 @@ EXTRA_DIST += \ # pTeX Tests # -ptex_tests = ptexdir/ptriptest.test +ptex_tests = ptexdir/ptriptest.test ptexdir/pver.test ptexdir/ptriptest.log: ptex$(EXEEXT) dvitype$(EXEEXT) pltotf$(EXEEXT) tftopl$(EXEEXT) +ptexdir/pver.log: ptex$(EXEEXT) pweb_tests = \ ptexdir/pbibtex.test \ ptexdir/pdvitype.test \ |