diff options
author | Daniel Salzman <daniel.salzman@nic.cz> | 2018-02-11 15:09:32 +0100 |
---|---|---|
committer | Daniel Salzman <daniel.salzman@nic.cz> | 2018-02-11 15:09:32 +0100 |
commit | b280d2098c5809479ab9b5c4753e7e51e972ba3e (patch) | |
tree | 13092361cca2167c70c0dc0f254395638cca16d7 /doc | |
parent | man: improve compatibility with OpenBSD (diff) | |
download | knot-b280d2098c5809479ab9b5c4753e7e51e972ba3e.tar.xz knot-b280d2098c5809479ab9b5c4753e7e51e972ba3e.zip |
man: suppress echoing of the commands
Diffstat (limited to 'doc')
-rw-r--r-- | doc/Makefile.am | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index 555f6087d..6afd8adec 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -188,8 +188,8 @@ endif man: $(man_MANS) $(MANPAGES_IN): $(MANPAGES_RST) $(AM_V_SPHINX)$(SPHINXBUILD) -b man -d $(SPHINXBUILDDIR)/doctrees $(man_SPHINXOPTS) $(SPHINXBUILDDIR)/man - mkdir -p $(srcdir)/man - for f in $(SPHINXBUILDDIR)/man/*; do \ + @mkdir -p $(srcdir)/man + @for f in $(SPHINXBUILDDIR)/man/*; do \ sed -e '/^\.TP$$/ {' -e 'n' -e 's/^\.B //' -e '}' "$$f" > "$(srcdir)/man/$$(basename $$f)in"; \ done $(AM_V_ECHO) |