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, 1 insertions, 2 deletions
diff --git a/Build/source/texk/web2c/ptexdir/am/ptex.am b/Build/source/texk/web2c/ptexdir/am/ptex.am index 05a20f9f90c..14cb8361c65 100644 --- a/Build/source/texk/web2c/ptexdir/am/ptex.am +++ b/Build/source/texk/web2c/ptexdir/am/ptex.am @@ -78,7 +78,7 @@ ptex-tangle: tangle$(EXEEXT) ptex.web ptex.ch tangle-sh # Extract ptex version ptexdir/ptex.version: ptexdir/ptex-base.ch - $(MKDIR_P) ptexdir/lib + $(MKDIR_P) ptexdir grep "^@d TeX_banner=='This is pTeX" $(srcdir)/ptexdir/ptex-base.ch \ | sed "s/^.*-//;s/'.*$$//" >ptexdir/ptex.version @@ -93,7 +93,6 @@ ptex_web_srcs = \ ptex.ch: tie$(EXEEXT) ptex.web $(ptex_ch_srcs) $(tie) -c ptex.ch ptex.web $(ptex_ch_srcs) ptex_ch_srcs = \ - $(ptex_ch_synctex) \ ptexdir/ptex-base.ch \ tex-binpool.ch |