Better fix to avoid loudness on mkdir -p

(commit message by nickm)

diff --git a/doc/include.am b/doc/include.am
index 80034861e2c58c08da78f75e39dae24bda5a8a14..bb01038d4c581ef068e405e576b09f3f3f2f9930 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)
-       $(AM_V_GEN)$(MKDIR_P) $(@D) && \
-       if test -e $(top_srcdir)/$@.in && ! test -e $@.in ; then \
+       $(AM_V_GEN)$(MKDIR_P) $(@D)
+       $(AM_V_at)if test -e $(top_srcdir)/$@.in && ! test -e $@.in ; then \
                cp $(top_srcdir)/$@.in $@; \
-       fi && \
-       ./config.status -q --file=$@;
+       fi
+       $(AM_V_at)./config.status -q --file=$@;
 
 $(doc_DATA) : $(html_in)