changeset 31107:a29b422baba5

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.
author diego
date Tue, 11 May 2010 21:21:45 +0000
parents 2290cf3ae4f8
children 20cee5a646b3
files DOCS/xml/Makefile
diffstat 1 files changed, 2 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- 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)