# HG changeset patch
# User diego
# Date 1260760055 0
# Node ID a8ac62150c755a661a02511abc9284a0dd3c0125
# Parent  31e6eb42db9940e91b22c05a12d02e13e621d60c
Factorize dependencies of language-specific HTML generation targets.

diff -r 31e6eb42db99 -r a8ac62150c75 DOCS/xml/Makefile
--- a/DOCS/xml/Makefile	Mon Dec 14 03:01:40 2009 +0000
+++ b/DOCS/xml/Makefile	Mon Dec 14 03:07:35 2009 +0000
@@ -37,10 +37,12 @@
 	sh configure
 
 define lang-def
-html-chunked-$(1): $(HTML)/$(1) $(CONFIGURE_GENERATED)
+html-chunked-$(1) html-single-$(1): $(HTML)/$(1) $(CONFIGURE_GENERATED)
+
+html-chunked-$(1):
 	$(MAKE) HTMLDIR=../$$< -C $(1) html-chunked
 
-html-single-$(1): $(HTML)/$(1) $(CONFIGURE_GENERATED)
+html-single-$(1):
 	$(MAKE) HTMLDIR=../$$< -C $(1) html-single
 
 xmllint-$(1): xmllint.sh