view DOCS/xml/Makefile.inc @ 11006:fae1fe725886

Resync :) (just forgot to change synced with... comments, as noted by Diego Biurrun. changing them now)
author lumag
date Sat, 04 Oct 2003 22:54:17 +0000
parents f6268d5a10f4
children 4dc3149f5b74
line wrap: on
line source

#
# 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