# HG changeset patch
# User diego
# Date 1260759579 0
# Node ID 51c09b1dfbbb5ddec54dd8af71c3533e834a831f
# Parent  49de6a8c9271e40da9fa72e0e61778aec253e14d
Remove pointless dependency on xmllint.sh from phony xmllint target.
The individual language targets carry that dependency.

diff -r 49de6a8c9271 -r 51c09b1dfbbb DOCS/xml/Makefile
--- a/DOCS/xml/Makefile	Mon Dec 14 02:45:55 2009 +0000
+++ b/DOCS/xml/Makefile	Mon Dec 14 02:59:39 2009 +0000
@@ -28,7 +28,7 @@
 html-chunked: $(addprefix html-chunked-,$(DOC_LANGS))
 html-single:  $(addprefix html-single-,$(DOC_LANGS))
 
-xmllint: xmllint.sh $(addprefix xmllint-,$(DOC_LANG_ALL))
+xmllint: $(addprefix xmllint-,$(DOC_LANG_ALL))
 
 $(foreach lang,$(DOC_LANG_ALL),$(HTML)/$(lang)):
 	-mkdir -p $@