1 files changed, 2 insertions, 2 deletions
diff --git a/doc.am b/doc.am
index 8b8ecc7a8b..ad59aa589b 100644
--- a/doc.am
+++ b/doc.am
@@ -52,7 +52,7 @@ EXTRA_DIST           += $(OS_CONFIG_EXAMPLES_TEXI)
 MAINTAINERCLEANFILES  = $(OS_CONFIG_EXAMPLES_TEXI)
 
 doc/os-config-%.texi: gnu/system/examples/%.tmpl
-	$(MKDIR_P) "`dirname "$@"`"
+	$(AM_V_GEN)$(MKDIR_P) "`dirname $@`";	\
 	cp "$<" "$@"
 
 infoimagedir = $(infodir)/images
@@ -79,7 +79,7 @@ DOT_OPTIONS =					\
 	mv "$(srcdir)/[email protected]" "$(srcdir)/$@"
 
 .png.eps:
-	convert "$<" "[email protected]"
+	$(AM_V_GEN)convert "$<" "[email protected]"; \
 	mv "[email protected]" "$@"
 
 # We cannot add new dependencies to `doc/guix.pdf' & co. (info "(automake)