# HG changeset patch
# User diego
# Date 1260746575 0
# Node ID cb44dec7706e3a4958a5cbd45b0038e9b27f5228
# Parent  a08a776121b86f8059cf1122938acda5d84d06da
Simplify one more command via automatic variables.

diff -r a08a776121b8 -r cb44dec7706e DOCS/xml/Makefile.inc
--- a/DOCS/xml/Makefile.inc	Sun Dec 13 23:17:11 2009 +0000
+++ b/DOCS/xml/Makefile.inc	Sun Dec 13 23:22:55 2009 +0000
@@ -36,7 +36,7 @@
 	../xmllint.sh $<
 
 $(HTMLDIR)/index.html: main.xml $(CHUNK_XSL_DEPS) $(SYMLINKS_DEPS) xmllint
-	cp -f $(HTML_STYLESHEET) $(HTMLDIR)
+	cp -f $(HTML_STYLESHEET) $(@D)
 	../xsltproc.sh $(HTMLDIR)/ $(HTML_CHUNK_XSL) $<
 
 $(HTMLFILE): main.xml $(XSL_DEPS) $(SYMLINKS_DEPS) xmllint