# HG changeset patch
# User diego
# Date 1260707896 0
# Node ID ff601a46cbaf8222464d5a9972914967dc84e666
# Parent  f3b569ce67917727a2d7962cff3809c1c1b0e0b2
Use automatic variables instead of the target name.

diff -r f3b569ce6791 -r ff601a46cbaf DOCS/xml/Makefile.inc
--- a/DOCS/xml/Makefile.inc	Sun Dec 13 12:31:26 2009 +0000
+++ b/DOCS/xml/Makefile.inc	Sun Dec 13 12:38:16 2009 +0000
@@ -55,8 +55,8 @@
 	$(warning Typically this means, that you've run make from a subdir of DOCS/xml.)
 	$(error Don't do this!)
 endif
-	cp -f $(HTML_STYLESHEET) `dirname $(HTMLFILE)`
-	../xsltproc.sh $(HTMLFILE) $(HTML_SINGLE_XSL) $<
+	cp -f $(HTML_STYLESHEET) `dirname $@`
+	../xsltproc.sh $@ $(HTML_SINGLE_XSL) $<
 
 ../html-chunk.xsl ../html-single.xsl main.xml:
 	cd .. && sh configure