diff options
Diffstat (limited to 'Build/source/texk/web2c/ptexdir/am/ptex.am')
-rw-r--r-- | Build/source/texk/web2c/ptexdir/am/ptex.am | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/Build/source/texk/web2c/ptexdir/am/ptex.am b/Build/source/texk/web2c/ptexdir/am/ptex.am index efb62833deb..265e07dec17 100644 --- a/Build/source/texk/web2c/ptexdir/am/ptex.am +++ b/Build/source/texk/web2c/ptexdir/am/ptex.am @@ -78,10 +78,11 @@ ptex-tangle: tangle$(EXEEXT) ptex.web ptex.ch tangle-sh @$(texmf_tangle) ptex ptex # Extract ptex version -ptexdir/ptex_version.h: ptexdir/ptex-base.ch - $(AM_V_at)$(MKDIR_P) ptexdir +$(srcdir)/ptexdir/ptex_version.h: ptexdir/ptex-base.ch +if MAINTAINER_MODE $(AM_V_GEN)grep '^@d pTeX_version_string==' $(srcdir)/ptexdir/ptex-base.ch \ | sed "s/^.*'-/#define PTEX_VERSION \"/;s/'.*$$/\"/" >$@ +endif MAINTAINER_MODE # Generate ptex.web ptex.web: tie$(EXEEXT) $(ptex_web_srcs) |