diff options
| -rw-r--r-- | doc/include.am | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/include.am b/doc/include.am index 011cc7fd0d..4876a628f2 100644 --- a/doc/include.am +++ b/doc/include.am @@ -63,5 +63,7 @@ $(asciidoc_product) : $(txt_in) $(man_in) fi $(AM_V_GEN)./config.status --file=$@; +$(doc_DATA) : $(html_in) + CLEANFILES+= $(asciidoc_product) config.log DISTCLEANFILES+= $(html_in) $(man_in) |