diff options
| -rw-r--r-- | DOCS/xml/Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/DOCS/xml/Makefile b/DOCS/xml/Makefile index e9b0b2288f..ed5646f5a3 100644 --- a/DOCS/xml/Makefile +++ b/DOCS/xml/Makefile @@ -6,6 +6,7 @@ include ../../config.mak HTML = ../HTML MAIN_XML_ALL = $(foreach lang,$(DOC_LANG_ALL),$(lang)/main.xml) +CONFIGURE_GENERATED = html-chunk.xsl html-single.xsl xsltproc.sh xmllint.sh all: html-chunked html-single @@ -53,9 +54,9 @@ clean: rm -rf $(HTML) releaseclean: + rm -f $(CONFIGURE_GENERATED) rm -f $(MAIN_XML_ALL) rm -f $$(find . -name *.xml -type l) - rm -f html-chunk.xsl html-single.xsl xsltproc.sh xmllint.sh distclean: clean releaseclean |