diff DOCS/xml/Makefile.inc @ 9674:461f71ba8af4

XML version of MPlayer's doc
author nicolas
date Sun, 23 Mar 2003 23:26:55 +0000
parents
children 970a95a4d856
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/DOCS/xml/Makefile.inc	Sun Mar 23 23:26:55 2003 +0000
@@ -0,0 +1,27 @@
+#
+# Makefile.inc for Makefiles in sub-directories.
+#
+
+export SGML_CATALOG_FILES
+
+# Use customized html.xsl file if exists...
+ifeq (html.xsl,$(wildcard html.xsl))
+HTML_XSL := html.xsl
+XSL_DEPS := $(HTML_XSL) ../html.xsl ../html-common.xsl
+else
+HTML_XSL := ../html.xsl
+XSL_DEPS := $(HTML_XSL) ../html-common.xsl
+endif
+
+# Fall back to the default HTML stylesheet if not specified.
+HTML_STYLESHEET ?= ../default.css
+
+# This is the main target...
+$(HTMLDIR)/index.html: documentation.xml $(XSL_DEPS)
+	-rm -f $(HTMLDIR)/*
+	$(XMLLINT) --noout --noent --postvalid --catalogs $<
+	$(XSLTPROC) --catalogs -o $(HTMLDIR)/ $(HTML_XSL) $<
+	cp $(HTML_STYLESHEET) $(HTMLDIR)/
+
+../html.xsl:
+	sh ../gen-html.xsl.sh $(CHUNK_XSL) > $@