diff options
-rw-r--r-- | DOCS/xml/Makefile | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/DOCS/xml/Makefile b/DOCS/xml/Makefile index d39a56d5f1..ec92ca545d 100644 --- a/DOCS/xml/Makefile +++ b/DOCS/xml/Makefile @@ -52,12 +52,12 @@ endef $(foreach lang, $(DOC_LANG_ALL),$(eval $(call lang-def,$(lang)))) clean: - rm -rf $(HTML) + -rm -rf $(HTML) releaseclean: - rm -f $(CONFIGURE_GENERATED) - rm -f $(MAIN_XML_ALL) - rm -f $$(find . -name *.xml -type l) + -rm -f $(CONFIGURE_GENERATED) + -rm -f $(MAIN_XML_ALL) + -rm -f $$(find . -name *.xml -type l) distclean: clean releaseclean |