# HG changeset patch
# User diego
# Date 1273612905 0
# Node ID a29b422baba55dc75dbb3e7ef60a234699c6cd89
# Parent  2290cf3ae4f88b920f10f957b5f41474cd4101aa
Do not run xmllint prior to building the XML documentation.
xmllint is just a convenient way to check for syntax errors;
it is not a requirement to build the documentation.

diff -r 2290cf3ae4f8 -r a29b422baba5 DOCS/xml/Makefile
--- a/DOCS/xml/Makefile	Tue May 11 14:27:26 2010 +0000
+++ b/DOCS/xml/Makefile	Tue May 11 21:21:45 2010 +0000
@@ -37,8 +37,8 @@
 	sh configure
 
 define lang-def
-html-chunked-$(lang): xmllint-$(lang) $(HTML)/$(lang)/index.html
-html-single-$(lang):  xmllint-$(lang) $(HTML)/$(lang)/MPlayer.html
+html-chunked-$(lang): $(HTML)/$(lang)/index.html
+html-single-$(lang):  $(HTML)/$(lang)/MPlayer.html
 $(HTML)/$(lang)/index.html $(HTML)/$(lang)/MPlayer.html: $(lang)/main.xml $(wildcard $(lang)/*.xml) $(HTML)/$(lang) html-common.xsl $(HTML)/$(lang)/default.css
 
 $(HTML)/$(lang)/default.css: $(HTML)/$(lang)