# HG changeset patch
# User diego
# Date 1260758579 0
# Node ID 3f0321059139b99f68d8d269e8ad1044624aa483
# Parent  d44a9fa373999cb2f087bb374a9e2e80ec707a97
Fix dependencies of html-chunked and html-single targets.
All the files generated by configure are required.

diff -r d44a9fa37399 -r 3f0321059139 DOCS/xml/Makefile
--- a/DOCS/xml/Makefile	Mon Dec 14 02:40:55 2009 +0000
+++ b/DOCS/xml/Makefile	Mon Dec 14 02:42:59 2009 +0000
@@ -25,7 +25,7 @@
 	@echo "distclean         : Remove ALL generated files."
 	@echo "Substitute LANG for one of $(DOC_LANG_ALL)"
 
-html-chunked html-single: xsltproc.sh xmllint.sh
+html-chunked html-single: $(CONFIGURE_GENERATED)
 html-chunked: $(addprefix html-chunked-,$(DOC_LANGS))
 html-single:  $(addprefix html-single-,$(DOC_LANGS))
 
@@ -38,10 +38,10 @@
 	sh configure
 
 define lang-def
-html-chunked-$(1): $(HTML)/$(1) xsltproc.sh xmllint.sh
+html-chunked-$(1): $(HTML)/$(1) $(CONFIGURE_GENERATED)
 	$(MAKE) HTMLDIR=../$$< -C $(1) html-chunked
 
-html-single-$(1): $(HTML)/$(1) xsltproc.sh xmllint.sh
+html-single-$(1): $(HTML)/$(1) $(CONFIGURE_GENERATED)
 	$(MAKE) HTMLDIR=../$$< -C $(1) html-single
 
 xmllint-$(1): xmllint.sh