diff --git a/doc/man/Makefile.am b/doc/man/Makefile.am
index 2d2af01aa129833ca7e2a8aef5a276c57714c662..83ceec52b91897434f9777e1855930d743324fa1 100644
--- a/doc/man/Makefile.am
+++ b/doc/man/Makefile.am
@@ -37,10 +37,10 @@ EXTRA_DIST = \
 CLEANFILES = $(nodist_man1_MANS) $(nodist_man7_MANS)
 
 .1.in.1: $(man_includefiles) Makefile
-	$(SHELL) $(srcdir)/sed.sh $(srcdir) $(rundir) $(pkgsysconfdir) \
+	$(AM_V_GEN)$(SHELL) $(srcdir)/sed.sh $(srcdir) $(rundir) $(pkgsysconfdir) \
 		$(pkglibexecdir) < $< > $@
 .7.in.7: $(man_includefiles) Makefile
-	$(SHELL) $(srcdir)/sed.sh $(srcdir) $(rundir) $(pkgsysconfdir) \
+	$(AM_V_GEN)$(SHELL) $(srcdir)/sed.sh $(srcdir) $(rundir) $(pkgsysconfdir) \
 		$(pkglibexecdir) < $< > $@