diff --git a/doc/include.am b/doc/include.am
index 80034861e2c58c08da78f75e39dae24bda5a8a14..bb01038d4c581ef068e405e576b09f3f3f2f9930 100644
--- 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)