diff options
Diffstat (limited to 'DOCS/xml')
-rw-r--r-- | DOCS/xml/Makefile.inc | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/DOCS/xml/Makefile.inc b/DOCS/xml/Makefile.inc index d509d42e53..4f8628e7f9 100644 --- a/DOCS/xml/Makefile.inc +++ b/DOCS/xml/Makefile.inc @@ -35,12 +35,13 @@ SYMLINKS_DEPS:=$(if $(findstring yes,$(USE_SYMLINKS)), $(patsubst ../en/%,%,$(wi 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: |