From 4aaaa822d281096a369ab274d19240de5bf13fd1 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Lo=C3=AFc=20Hoguin?= Date: Wed, 12 Sep 2018 14:44:07 +0200 Subject: Hide asciidoc-manual commands --- plugins/asciidoc.mk | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'plugins/asciidoc.mk') diff --git a/plugins/asciidoc.mk b/plugins/asciidoc.mk index 4d6fb91..f4be7ff 100644 --- a/plugins/asciidoc.mk +++ b/plugins/asciidoc.mk @@ -66,8 +66,8 @@ endef asciidoc-manual:: doc-deps asciidoc-manual:: $(ASCIIDOC_MANUAL_FILES) - $(call erlang,$(call asciidoc2man.erl,$?)) - $(foreach s,$(MAN_SECTIONS),mkdir -p doc/man$s/ && mv doc/src/manual/*.$s.gz doc/man$s/;) + $(gen_verbose) $(call erlang,$(call asciidoc2man.erl,$?)) + $(verbose) $(foreach s,$(MAN_SECTIONS),mkdir -p doc/man$s/ && mv doc/src/manual/*.$s.gz doc/man$s/;) install-docs:: install-asciidoc -- cgit v1.2.3