1 # $Id: makefile.win32,v 1.5 2007/02/06 22:31:38 gumpu Exp $
3 SOURCE = manual.xml preparing.xml options.xml tips.xml installing.xml examples.xml extracting.xml bugs.xml configuration.xml header_examples.xml
6 # Manual as a single HTML file
7 manual.html : $(SOURCE) manual.xsl
8 xsltproc manual.xsl manual.xml > manual.html
10 header_examples.xml : header_specs.pl
13 # Manual in Windows help format.
14 htmlhelp.chm : $(SOURCE) manual_html_help.xsl
15 xsltproc manual_html_help.xsl manual.xml
17 copy htmlhelp.chm manual.chm
24 -del header_examples.xml
26 all : manual.html htmlhelp.chm
28 # Lint the manual to detect errors against the DTD.
30 xmllint --noent --noout manual.xml