# HG changeset patch
# User diego
# Date 1231112714 0
# Node ID fabcf0f230045081468c48baaf0879fb806f062c
# Parent  84408378385a6e267e7fb87bcb0e3c9cc069eec4
Subsume clean-html-chunked and clean-html-single targets into clean target.

diff -r 84408378385a -r fabcf0f23004 DOCS/xml/Makefile
--- a/DOCS/xml/Makefile	Sun Jan 04 23:41:56 2009 +0000
+++ b/DOCS/xml/Makefile	Sun Jan 04 23:45:14 2009 +0000
@@ -20,8 +20,6 @@
 	@echo "html-chunked-LANG : As above, but only one language."
 	@echo "xmllint           : Check syntax of all xml files."
 	@echo "xmllint-LANG      : Check syntax of LANG xml files."
-	@echo "clean-html-single : Purge the 'HTML-single' directory."
-	@echo "clean-html-chunked: Purge the 'HTML' directory."
 	@echo "clean             : Purge the 'HTML' and 'HTML-single' directories."
 	@echo "releaseclean      : Remove generated files but keep the HTML."
 	@echo "distclean         : Remove ALL generated files."
@@ -39,11 +37,8 @@
 $(HTML_CHUNKED) $(HTML_SINGLE):
 	-mkdir -p $@
 
-clean-html-chunked:
-	-rm -rf $(HTML_CHUNKED)
-
-clean-html-single:
-	-rm -rf $(HTML_SINGLE)
+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
@@ -53,8 +48,6 @@
 xsltproc.sh xmllint.sh:
 	sh configure
 
-clean: clean-html-chunked clean-html-single
-
 define lang-def
 html-chunked-$(1): xsltproc.sh xmllint.sh $(HTML_CHUNKED)
 	-(mkdir -p $(HTML_CHUNKED)/$(1))