Make asciidoc generation quieter

diff --git a/doc/include.am b/doc/include.am
index 4876a628f28f03145ae5db9a1174dee516b2fcb9..80034861e2c58c08da78f75e39dae24bda5a8a14 100644 (file)
--- a/doc/include.am
+++ b/doc/include.am
@@ -57,11 +57,11 @@ $(man_in) : $(txt_in)
 # use ../config.status to swap all machine-specific magic strings
 # in the asciidoc with their replacements.
 $(asciidoc_product) : $(txt_in) $(man_in)
-       $(MKDIR_P) $(@D)
-       $(AM_V_GEN)if test -e $(top_srcdir)/$@.in && ! test -e $@.in ; then \
+       $(AM_V_GEN)$(MKDIR_P) $(@D) && \
+       if test -e $(top_srcdir)/$@.in && ! test -e $@.in ; then \
                cp $(top_srcdir)/$@.in $@; \
-       fi
-       $(AM_V_GEN)./config.status --file=$@;
+       fi && \
+       ./config.status -q --file=$@;
 
 $(doc_DATA) : $(html_in)