2003-03-23 23:26:55 +00:00
#
2003-06-18 17:37:36 +00:00
# Makefile.inc for Makefiles in subdirectories.
2003-03-23 23:26:55 +00:00
#
2003-06-18 17:37:36 +00:00
# Use customized html.xsl file if it exists...
2003-03-23 23:26:55 +00:00
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
2003-06-18 17:37:36 +00:00
# Fall back to the default HTML stylesheet if none is specified.
2003-03-23 23:26:55 +00:00
HTML_STYLESHEET ? = ../ default . css
# This is the main target...
$ ( HTMLDIR ) / index . html : documentation . xml $ ( XSL_DEPS )
2003-09-21 13:10:58 +00:00
@ 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
2003-03-23 23:26:55 +00:00
- rm - f $ ( HTMLDIR ) /*
2003-06-18 17:37:36 +00:00
../ xmllint . sh $ <
2003-03-23 23:26:55 +00:00
cp $ ( HTML_STYLESHEET ) $ ( HTMLDIR ) /
2003-06-18 17:37:36 +00:00
../ xsltproc . sh $ ( HTMLDIR ) / $ ( HTML_XSL ) $ <
2003-03-23 23:26:55 +00:00
../ html . xsl :
2003-06-18 17:37:36 +00:00
cd .. && sh configure
