diff options
Diffstat (limited to 'DOCS')
| -rw-r--r-- | DOCS/xml/Makefile | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/DOCS/xml/Makefile b/DOCS/xml/Makefile index 829eb8878d..d79a0f8b49 100644 --- a/DOCS/xml/Makefile +++ b/DOCS/xml/Makefile @@ -35,14 +35,6 @@ xmllint: xmllint.sh $(addprefix xmllint-,$(DOC_LANG_ALL)) $(HTML_CHUNKED) $(HTML_SINGLE): -mkdir -p $@ -clean: - rm -rf $(HTML_CHUNKED) $(HTML_SINGLE) - -releaseclean: $(addprefix releaseclean-,$(DOC_LANG_ALL)) - -rm -f html-chunk.xsl html-single.xsl xsltproc.sh xmllint.sh - -distclean: clean releaseclean - xsltproc.sh xmllint.sh: sh configure @@ -64,4 +56,12 @@ endef $(foreach lang, $(DOC_LANG_ALL),$(eval $(call lang-def,$(lang)))) +clean: + rm -rf $(HTML_CHUNKED) $(HTML_SINGLE) + +releaseclean: $(addprefix releaseclean-,$(DOC_LANG_ALL)) + -rm -f html-chunk.xsl html-single.xsl xsltproc.sh xmllint.sh + +distclean: clean releaseclean + .PHONY: all help html-chunked* html-single* xmllint* *clean* |