# HG changeset patch # User diego # Date 1260748750 0 # Node ID 582d78986e878abca52aede0a5bb5472f83ebb35 # Parent 5733a5cd13392dc00513286bcc383b36a0d32754 Factorize generating the list of all main.xml files. diff -r 5733a5cd1339 -r 582d78986e87 DOCS/xml/Makefile --- a/DOCS/xml/Makefile Sun Dec 13 23:54:46 2009 +0000 +++ b/DOCS/xml/Makefile Sun Dec 13 23:59:10 2009 +0000 @@ -5,6 +5,8 @@ # Generated HTML files go here. HTML = ../HTML +MAIN_XML_ALL = $(foreach lang,$(DOC_LANG_ALL),$(lang)/main.xml) + all: html-chunked html-single help: @@ -31,7 +33,7 @@ $(foreach lang,$(DOC_LANG_ALL),$(HTML)/$(lang)): -mkdir -p $@ -html-chunk.xsl html-single.xsl xsltproc.sh xmllint.sh $(foreach lang,$(DOC_LANG_ALL),$(lang)/main.xml): +html-chunk.xsl html-single.xsl xsltproc.sh xmllint.sh $(MAIN_XML_ALL): sh configure define lang-def @@ -51,7 +53,7 @@ rm -rf $(HTML) releaseclean: - rm -f $(foreach lang,$(DOC_LANG_ALL),$(lang)/main.xml) + rm -f $(MAIN_XML_ALL) rm -f $$(find . -name *.xml -type l) rm -f html-chunk.xsl html-single.xsl xsltproc.sh xmllint.sh