# HG changeset patch
# User diego
# Date 1260741069 0
# Node ID c84e248bd7e33df0319c63bb4fee02be33f6026a
# Parent  c5ddf34d6f5721a0ddb416a5b5d358b668b4f645
cosmetics: Remove pointless trailing /.

diff -r c5ddf34d6f57 -r c84e248bd7e3 DOCS/xml/Makefile.inc
--- a/DOCS/xml/Makefile.inc	Sun Dec 13 21:43:31 2009 +0000
+++ b/DOCS/xml/Makefile.inc	Sun Dec 13 21:51:09 2009 +0000
@@ -40,7 +40,7 @@
 	../xmllint.sh $<
 
 $(HTMLDIR)/index.html: main.xml $(CHUNK_XSL_DEPS) $(SYMLINKS_DEPS) xmllint
-	cp -f $(HTML_STYLESHEET) $(HTMLDIR)/
+	cp -f $(HTML_STYLESHEET) $(HTMLDIR)
 	../xsltproc.sh $(HTMLDIR)/ $(HTML_CHUNK_XSL) $<
 
 $(HTMLFILE): main.xml $(XSL_DEPS) $(SYMLINKS_DEPS) xmllint