s3:docs: clean build/catalog.xml in "make clean"

Michael

diff --git a/docs-xml/Makefile b/docs-xml/Makefile
index dfc7947c5c58dd69d51c7b3538ce6e8377a925d4..610d720d94301c361c7e8baf4e8aaf139db81889 100644 (file)
--- a/docs-xml/Makefile
+++ b/docs-xml/Makefile
@@ -66,6 +66,7 @@ clean::
        rm -f xslt/figures/*pdf
        rm -f $(SMBDOTCONFDOC)/parameters.*.xml
        rm -f $(addsuffix .*,$(MAIN_DOCS))
+       rm -f build/catalog.xml
 
 # Output format targets
 pdf:: $(patsubst %,$(PDFDIR)/%.pdf,$(MAIN_DOCS))