diff options
Diffstat (limited to 'Build/source/texk/web2c/pdftexdir/am')
-rw-r--r-- | Build/source/texk/web2c/pdftexdir/am/pdftex.am | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Build/source/texk/web2c/pdftexdir/am/pdftex.am b/Build/source/texk/web2c/pdftexdir/am/pdftex.am index ad1b2b98dc4..26c1054a865 100644 --- a/Build/source/texk/web2c/pdftexdir/am/pdftex.am +++ b/Build/source/texk/web2c/pdftexdir/am/pdftex.am @@ -54,9 +54,9 @@ pdftex-tangle: tangle$(EXEEXT) pdftexdir/pdftex.web pdftex.ch tangle-sh pdftex-pool.c: pdftex.pool pdftexd.h $(makecpool_stamp) $(makecpool) pdftex >$@ || rm -f $@ # Extract etex version -pdftexdir/etex_version.h: etexdir/etex.ch +pdftexdir/etex_version.h: pdftexdir/pdftex.web $(MKDIR_P) pdftexdir - grep '^@d eTeX_version_string==' $(srcdir)/etexdir/etex.ch \ + grep '^@d eTeX_version_string==' $(srcdir)/pdftexdir/pdftex.web \ | sed "s/^.*'-/#define ETEX_VERSION \"/;s/'.*$$/\"/" >$@ # Extract pdftex version pdftexdir/pdftex_version.h: pdftexdir/pdftex.web |