diff options
| -rw-r--r-- | DOCS/xml/Makefile.inc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/DOCS/xml/Makefile.inc b/DOCS/xml/Makefile.inc index 4f8628e7f9..f2a4060ef2 100644 --- a/DOCS/xml/Makefile.inc +++ b/DOCS/xml/Makefile.inc @@ -36,7 +36,7 @@ xmllint: main.xml $(SYMLINKS_DEPS) ../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) $< |