changeset 29974:f5dc9e815865

Use variable for HTML stylesheet so individual languages can use their own.
author diego
date Mon, 14 Dec 2009 00:57:33 +0000
parents 113ab3d1feab
children 2d0562d1c52f
files DOCS/xml/Makefile.inc
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/DOCS/xml/Makefile.inc	Mon Dec 14 00:42:46 2009 +0000
+++ b/DOCS/xml/Makefile.inc	Mon Dec 14 00:57:33 2009 +0000
@@ -36,7 +36,7 @@
 	../xmllint.sh $<
 
 $(HTMLDIR)/default.css:
-	cp -f ../default.css $(@D)
+	cp -f $(HTML_STYLESHEET) $(@D)
 
 $(HTMLDIR)/index.html: main.xml $(CHUNK_XSL_DEPS) $(SYMLINKS_DEPS) xmllint $(HTMLDIR)/default.css
 	../xsltproc.sh $(HTMLDIR)/ $(HTML_CHUNK_XSL) $<