blob: 5285b3b8c7a772787b998a2b62dab6c884897834 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
#
# Makefile.inc for Makefiles in subdirectories.
#
# Use customized html.xsl file if it 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 none is specified.
HTML_STYLESHEET ?= ../default.css
# This is the main target...
$(HTMLDIR)/index.html: documentation.xml $(XSL_DEPS)
@if test "$(HTMLDIR)" = "" ; then echo "Error: HTMLDIR not set!!!"; echo "Typically this means, that you've run make from subdir of DOCS/xml. Don't do this!" ; false; fi
-rm -f $(HTMLDIR)/*
../xmllint.sh $<
cp $(HTML_STYLESHEET) $(HTMLDIR)/
../xsltproc.sh $(HTMLDIR)/ $(HTML_XSL) $<
../html.xsl:
cd .. && sh configure
|
