diff options
| -rw-r--r-- | Build/source/ChangeLog | 4 | ||||
| -rw-r--r-- | Build/source/Makefile.am | 2 | ||||
| -rw-r--r-- | Build/source/Makefile.in | 2 |
3 files changed, 6 insertions, 2 deletions
diff --git a/Build/source/ChangeLog b/Build/source/ChangeLog index be5419b2682..9a9de9ef3d8 100644 --- a/Build/source/ChangeLog +++ b/Build/source/ChangeLog @@ -1,3 +1,7 @@ +2009-06-01 Karl Berry <karl@tug.org> + + * Makefile.am (world): don't echo the echo. + 2009-05-22 Peter Breitenlohner <peb@mppmu.mpg.de> * Makefile.am (world): serialize to avoid parallel build problems. diff --git a/Build/source/Makefile.am b/Build/source/Makefile.am index bdb2dddc7d2..83d0ace9cad 100644 --- a/Build/source/Makefile.am +++ b/Build/source/Makefile.am @@ -40,7 +40,7 @@ world: all ## Serialize 'make all' and 'make install-strip'. $(MAKE) $(AM_MAKEFLAGS) install-strip ## - echo "top-level make $@: running texlinks ..." + @echo "top-level make $@: running texlinks in texk/tetex..." cd texk/tetex && $(MAKE) $(AM_MAKEFLAGS) run-texlinks ## @echo "make $@ done." diff --git a/Build/source/Makefile.in b/Build/source/Makefile.in index a65dd701b7b..038a5105cb6 100644 --- a/Build/source/Makefile.in +++ b/Build/source/Makefile.in @@ -812,7 +812,7 @@ dist-hook: # and there is no install-hook or install-local. world: all $(MAKE) $(AM_MAKEFLAGS) install-strip - echo "top-level make $@: running texlinks ..." + @echo "top-level make $@: running texlinks in texk/tetex..." cd texk/tetex && $(MAKE) $(AM_MAKEFLAGS) run-texlinks @echo "make $@ done." |