changeset 29963:550b899f9b7a

Do not pointlessly set the HTMLFILE variable when running xmllint.
author diego
date Sun, 13 Dec 2009 22:25:08 +0000
parents fd112c1ef46e
children 5513e1981e0e
files DOCS/xml/Makefile
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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))))