diff options
Diffstat (limited to 'doc/user')
| -rw-r--r-- | doc/user/Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/user/Makefile.am b/doc/user/Makefile.am index b72cfde..c813c42 100644 --- a/doc/user/Makefile.am +++ b/doc/user/Makefile.am @@ -122,7 +122,7 @@ include $(top_srcdir)/substitute.am lout/front-page.lout: lout/front-page.lout.in test -d "lout" || mkdir "lout" - $(substitute) "$^" > "$@.tmp" && \ + $(AM_V_SUBSTITUTE)$(substitute) "$^" > "$@.tmp" && \ mv "$@.tmp" "$@" endif HAVE_LOUT |