diff options
| author | Loïc Hoguin <[email protected]> | 2018-09-12 14:44:07 +0200 |
|---|---|---|
| committer | Loïc Hoguin <[email protected]> | 2018-09-12 14:44:07 +0200 |
| commit | 4aaaa822d281096a369ab274d19240de5bf13fd1 (patch) | |
| tree | 2603c3b30b6494ed0ec5e15c302355e7eb919f81 /plugins | |
| parent | 6c8664cc978472481dc101279961529ae39dd0d3 (diff) | |
| download | erlang.mk-4aaaa822d281096a369ab274d19240de5bf13fd1.tar.gz erlang.mk-4aaaa822d281096a369ab274d19240de5bf13fd1.tar.bz2 erlang.mk-4aaaa822d281096a369ab274d19240de5bf13fd1.zip | |
Hide asciidoc-manual commands
Diffstat (limited to 'plugins')
| -rw-r--r-- | plugins/asciidoc.mk | 4 |
1 files changed, 2 insertions, 2 deletions
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 |