diff options
Diffstat (limited to 'Build/source/texk/web2c/etexdir/am/etex.am')
-rw-r--r-- | Build/source/texk/web2c/etexdir/am/etex.am | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Build/source/texk/web2c/etexdir/am/etex.am b/Build/source/texk/web2c/etexdir/am/etex.am index 008489086c4..99ede798a36 100644 --- a/Build/source/texk/web2c/etexdir/am/etex.am +++ b/Build/source/texk/web2c/etexdir/am/etex.am @@ -40,8 +40,8 @@ etex-tangle: tangle$(EXEEXT) etex.web etex.ch tangle-sh # Extract etex version etexdir/etex_version.h: etexdir/etex.ch - $(MKDIR_P) etexdir - grep '^@d eTeX_version_string==' $(srcdir)/etexdir/etex.ch \ + $(AM_V_at)$(MKDIR_P) etexdir + $(AM_V_GEN)grep '^@d eTeX_version_string==' $(srcdir)/etexdir/etex.ch \ | sed "s/^.*'-/#define ETEX_VERSION \"/;s/'.*$$/\"/" >$@ # Generate etex.web |