# HG changeset patch
# User diego
# Date 1260758455 0
# Node ID d44a9fa373999cb2f087bb374a9e2e80ec707a97
# Parent  76d95b4aa1428d8873f6ccc15ac2fe1836e15a29
Exploit one more opportunity to make use of the CONFIGURE_GENERATED variable.

diff -r 76d95b4aa142 -r d44a9fa37399 DOCS/xml/Makefile
--- a/DOCS/xml/Makefile	Mon Dec 14 02:39:22 2009 +0000
+++ b/DOCS/xml/Makefile	Mon Dec 14 02:40:55 2009 +0000
@@ -34,7 +34,7 @@
 $(foreach lang,$(DOC_LANG_ALL),$(HTML)/$(lang)):
 	-mkdir -p $@
 
-html-chunk.xsl html-single.xsl xsltproc.sh xmllint.sh $(MAIN_XML_ALL):
+$(CONFIGURE_GENERATED) $(MAIN_XML_ALL):
 	sh configure
 
 define lang-def