diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/include.am | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/doc/include.am b/doc/include.am index 80034861e..bb01038d4 100644 --- a/doc/include.am +++ b/doc/include.am @@ -57,11 +57,11 @@ $(man_in) : $(txt_in) # use ../config.status to swap all machine-specific magic strings # in the asciidoc with their replacements. $(asciidoc_product) : $(txt_in) $(man_in) - $(AM_V_GEN)$(MKDIR_P) $(@D) && \ - if test -e $(top_srcdir)/$@.in && ! test -e $@.in ; then \ + $(AM_V_GEN)$(MKDIR_P) $(@D) + $(AM_V_at)if test -e $(top_srcdir)/$@.in && ! test -e $@.in ; then \ cp $(top_srcdir)/$@.in $@; \ - fi && \ - ./config.status -q --file=$@; + fi + $(AM_V_at)./config.status -q --file=$@; $(doc_DATA) : $(html_in) |