# HG changeset patch
# User diego
# Date 1260743108 0
# Node ID 550b899f9b7a8aad596fcf7aaa8eb094e3cf0897
# Parent  fd112c1ef46eda87f3b68d6b8779c1bb72a0f4b0
Do not pointlessly set the HTMLFILE variable when running xmllint.

diff -r fd112c1ef46e -r 550b899f9b7a DOCS/xml/Makefile
--- a/DOCS/xml/Makefile	Sun Dec 13 22:23:34 2009 +0000
+++ b/DOCS/xml/Makefile	Sun Dec 13 22:25:08 2009 +0000
@@ -45,7 +45,7 @@
 	$(MAKE) HTMLFILE=../$$</MPlayer.html -C $(1) html-single
 
 xmllint-$(1): xmllint.sh
-	$(MAKE) HTMLFILE=../$(HTML_SINGLE)/$(1)/MPlayer.html -C $(1) xmllint
+	$(MAKE) -C $(1) xmllint
 endef
 
 $(foreach lang, $(DOC_LANG_ALL),$(eval $(call lang-def,$(lang))))