summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/Makefile.in
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/web2c/Makefile.in')
-rw-r--r--Build/source/texk/web2c/Makefile.in4
1 files changed, 2 insertions, 2 deletions
diff --git a/Build/source/texk/web2c/Makefile.in b/Build/source/texk/web2c/Makefile.in
index d9ed2f933e8..7daa434a33b 100644
--- a/Build/source/texk/web2c/Makefile.in
+++ b/Build/source/texk/web2c/Makefile.in
@@ -9232,9 +9232,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