changeset 15101:04a5b6407cb6

Add releaseclean target to remove generated files but keep the HTML.
author diego
date Sun, 10 Apr 2005 16:26:51 +0000
parents 66956f842461
children 1d3ba9fb75cd
files DOCS/xml/Makefile
diffstat 1 files changed, 5 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/DOCS/xml/Makefile	Sun Apr 10 16:02:28 2005 +0000
+++ b/DOCS/xml/Makefile	Sun Apr 10 16:26:51 2005 +0000
@@ -24,6 +24,7 @@
 	@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."
 	@echo "distclean-LANG    : Remove ALL generated files for one language."
 	@echo "Substitute LANG for one of $(SUBDIRS)"
@@ -46,10 +47,12 @@
 clean-html-single:
 	-rm -rf $(HTML_SINGLE)
 
-.PHONY: distclean
-distclean: clean-html-chunked clean-html-single $(addprefix distclean-,$(SUBDIRS))
+.PHONY: releaseclean
+releaseclean: $(addprefix distclean-,$(SUBDIRS))
 	-rm -f html-chunk.xsl html-single.xsl xsltproc.sh xmllint.sh
 
+distclean: clean releaseclean
+
 xsltproc.sh xmllint.sh:
 	sh configure