diff options
Diffstat (limited to 'DOCS/xml/Makefile.inc')
| -rw-r--r-- | DOCS/xml/Makefile.inc | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/DOCS/xml/Makefile.inc b/DOCS/xml/Makefile.inc new file mode 100644 index 0000000000..fa25262348 --- /dev/null +++ b/DOCS/xml/Makefile.inc @@ -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) > $@ |