summaryrefslogtreecommitdiff
path: root/doc/user
diff options
context:
space:
mode:
Diffstat (limited to 'doc/user')
-rw-r--r--doc/user/Makefile.am2
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