diff --git a/share/mk/doc.subdir.mk b/share/mk/doc.subdir.mk index c2eb899499..b7dfa94681 100644 --- a/share/mk/doc.subdir.mk +++ b/share/mk/doc.subdir.mk @@ -41,11 +41,16 @@ # here. # # clean: -# Remove files created by the build process. +# Remove files created by the build process (using +# defaults specified by environment) # # cleandir: # Remove the object directory, if any. # +# cleanall: +# Remove all possible generated files (all predictable +# combinations of ${FORMAT} values) +# .if !target(__initialized__) __initialized__: @@ -209,3 +214,6 @@ _IMAGESUBDIR: .USE obj: _IMAGESUBDIR .endif + +cleanall: + ${MAKE} FORMATS="${ALL_FORMATS}" clean