# HG changeset patch
# User diego
# Date 1260751366 0
# Node ID 113ab3d1feab130b67f50dffe0723ea95ae9ac60
# Parent  03e8eec6e1048625a1a1f3a8b05454bf5bd2fa65
Factorize stylesheet installation into its own target.

diff -r 03e8eec6e104 -r 113ab3d1feab DOCS/xml/Makefile.inc
--- a/DOCS/xml/Makefile.inc	Mon Dec 14 00:16:32 2009 +0000
+++ b/DOCS/xml/Makefile.inc	Mon Dec 14 00:42:46 2009 +0000
@@ -35,12 +35,13 @@
 xmllint: main.xml $(SYMLINKS_DEPS)
 	../xmllint.sh $<
 
-$(HTMLDIR)/index.html: main.xml $(CHUNK_XSL_DEPS) $(SYMLINKS_DEPS) xmllint
-	cp -f $(HTML_STYLESHEET) $(@D)
+$(HTMLDIR)/default.css:
+	cp -f ../default.css $(@D)
+
+$(HTMLDIR)/index.html: main.xml $(CHUNK_XSL_DEPS) $(SYMLINKS_DEPS) xmllint $(HTMLDIR)/default.css
 	../xsltproc.sh $(HTMLDIR)/ $(HTML_CHUNK_XSL) $<
 
-$(HTMLDIR)/MPlayer.html: main.xml $(XSL_DEPS) $(SYMLINKS_DEPS) xmllint
-	cp -f $(HTML_STYLESHEET) $(@D)
+$(HTMLDIR)/MPlayer.html: main.xml $(XSL_DEPS) $(SYMLINKS_DEPS) xmllint $(HTMLDIR)/default.css
 	../xsltproc.sh $@ $(HTML_SINGLE_XSL) $<
 
 ../html-chunk.xsl ../html-single.xsl main.xml: