# HG changeset patch
# User diego
# Date 1260748486 0
# Node ID 5733a5cd13392dc00513286bcc383b36a0d32754
# Parent  01e66f95936178fddaa9630ac540692280dde281
configure also generates all main.xml files.

diff -r 01e66f959361 -r 5733a5cd1339 DOCS/xml/Makefile
--- a/DOCS/xml/Makefile	Sun Dec 13 23:50:38 2009 +0000
+++ b/DOCS/xml/Makefile	Sun Dec 13 23:54:46 2009 +0000
@@ -31,7 +31,7 @@
 $(foreach lang,$(DOC_LANG_ALL),$(HTML)/$(lang)):
 	-mkdir -p $@
 
-html-chunk.xsl html-single.xsl xsltproc.sh xmllint.sh:
+html-chunk.xsl html-single.xsl xsltproc.sh xmllint.sh $(foreach lang,$(DOC_LANG_ALL),$(lang)/main.xml):
 	sh configure
 
 define lang-def