aboutsummaryrefslogtreecommitdiffhomepage
path: root/DOCS/xml/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'DOCS/xml/Makefile')
-rw-r--r--DOCS/xml/Makefile13
1 files changed, 10 insertions, 3 deletions
diff --git a/DOCS/xml/Makefile b/DOCS/xml/Makefile
index 498a612331..b26aff01c6 100644
--- a/DOCS/xml/Makefile
+++ b/DOCS/xml/Makefile
@@ -28,6 +28,8 @@ help:
@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 "clean-LANG : Remove HTML files for one language."
+ @echo "releaseclean-LANG : Remove generated files for one language."
@echo "distclean-LANG : Remove ALL generated files for one language."
@echo "Substitute LANG for one of $(SUBDIRS)"
@@ -53,7 +55,7 @@ clean-html-single:
-rm -rf $(HTML_SINGLE)
.PHONY: releaseclean distclean clean
-releaseclean: $(addprefix distclean-,$(SUBDIRS))
+releaseclean: $(addprefix releaseclean-,$(SUBDIRS))
-rm -f html-chunk.xsl html-single.xsl xsltproc.sh xmllint.sh
distclean: clean releaseclean
@@ -64,7 +66,8 @@ xsltproc.sh xmllint.sh:
clean: clean-html-chunked clean-html-single
define lang-def
-.PHONY: html-chunked-$(1) html-single-$(1) xmllint-$(1) distclean-$(1)
+.PHONY: html-chunked-$(1) html-single-$(1) xmllint-$(1) \
+ distclean-$(1) releaseclean-$(1) clean-$(1)
html-chunked-$(1): xsltproc.sh xmllint.sh chunked-dir
(test -d $(HTML_CHUNKED)/$(1) || mkdir $(HTML_CHUNKED)/$(1))
$(MAKE) HTMLDIR=../$(HTML_CHUNKED)/$(1) -C $(1) html-chunked
@@ -76,8 +79,12 @@ html-single-$(1): xsltproc.sh xmllint.sh single-dir
xmllint-$(1): xmllint.sh
$(MAKE) HTMLFILE=../$(HTML_SINGLE)/$(1)/MPlayer.html -C $(1) xmllint
-distclean-$(1):
+distclean-$(1): clean-$(1) releaseclean-$(1)
+
+clean-$(1):
-rm -rf $(HTML_SINGLE)/$(1) $(HTML_CHUNKED)/$(1)
+
+releaseclean-$(1):
$(MAKE) HTMLDIR=../$(HTML_CHUNKED)/$(1) -C $(1) distclean
endef