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) $<