# HG changeset patch
# User diego
# Date 1260758755 0
# Node ID 49de6a8c9271e40da9fa72e0e61778aec253e14d
# Parent  3f0321059139b99f68d8d269e8ad1044624aa483
Drop pointless dependencies of the phony targets html-chunked and html-single.

diff -r 3f0321059139 -r 49de6a8c9271 DOCS/xml/Makefile
--- a/DOCS/xml/Makefile	Mon Dec 14 02:42:59 2009 +0000
+++ b/DOCS/xml/Makefile	Mon Dec 14 02:45:55 2009 +0000
@@ -25,7 +25,6 @@
 	@echo "distclean         : Remove ALL generated files."
 	@echo "Substitute LANG for one of $(DOC_LANG_ALL)"
 
-html-chunked html-single: $(CONFIGURE_GENERATED)
 html-chunked: $(addprefix html-chunked-,$(DOC_LANGS))
 html-single:  $(addprefix html-single-,$(DOC_LANGS))