diff options
Diffstat (limited to 'DOCS/xml/Makefile.inc')
| -rw-r--r-- | DOCS/xml/Makefile.inc | 31 |
1 files changed, 0 insertions, 31 deletions
diff --git a/DOCS/xml/Makefile.inc b/DOCS/xml/Makefile.inc deleted file mode 100644 index 44e022d56c..0000000000 --- a/DOCS/xml/Makefile.inc +++ /dev/null @@ -1,31 +0,0 @@ -# -# Makefile.inc for Makefiles in subdirectories. -# - -HTML_CHUNK_XSL := ../html-chunk.xsl -CHUNK_XSL_DEPS := $(HTML_CHUNK_XSL) ../html-common.xsl - -HTML_SINGLE_XSL := ../html-single.xsl -SINGLE_XSL_DEPS := $(HTML_SINGLE_XSL) ../html-common.xsl - -# This is the main target... -all: html-chunked html-single -html-chunked: $(HTMLDIR)/index.html -html-single: $(HTMLDIR)/MPlayer.html - -xmllint: main.xml - ../xmllint.sh $< - -$(HTMLDIR)/default.css: - cp -f ../default.css $(@D) - -$(HTMLDIR)/index.html: main.xml $(CHUNK_XSL_DEPS) xmllint $(HTMLDIR)/default.css - ../xsltproc.sh $(HTMLDIR)/ $(HTML_CHUNK_XSL) $< - -$(HTMLDIR)/MPlayer.html: main.xml $(SINGLE_XSL_DEPS) xmllint $(HTMLDIR)/default.css - ../xsltproc.sh $@ $(HTML_SINGLE_XSL) $< - -../html-chunk.xsl ../html-single.xsl main.xml: - cd .. && sh configure - -.PHONY: all html-chunked html-single xmllint |