diff options
Diffstat (limited to 'share')
| -rw-r--r-- | share/mk/doc.docbook.mk | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/share/mk/doc.docbook.mk b/share/mk/doc.docbook.mk index 33db62c8c5..2adb7a08f5 100644 --- a/share/mk/doc.docbook.mk +++ b/share/mk/doc.docbook.mk @@ -358,7 +358,13 @@ CLEANFILES+= ${DOC}.xml .sxerr CLEANFILES+= ${LOCAL_CSS_SHEET} .endif -.endfor +.if !defined(WITH_INLINE_LEGALNOTICE) || empty(WITH_INLINE_LEGALNOTICE) && \ + (${_cf} == "html-split" || ${_cf} == "html-split.tar" || \ + ${_cf} == "html" || ${_cf} == "html.tar" || ${_cf} == "txt") +CLEANFILES+= LEGALNOTICE.html TRADEMARKS.html +.endif + +.endfor # _curformat in ${FORMATS} # # |