Docs/makefile.win32

   1 # $Id: makefile.win32,v 1.5 2007/02/06 22:31:38 gumpu Exp $
   2
   3 SOURCE =  manual.xml preparing.xml options.xml tips.xml installing.xml examples.xml extracting.xml bugs.xml configuration.xml header_examples.xml
   4
   5
   6 # Manual as a single HTML file
   7 manual.html : $(SOURCE) manual.xsl
   8         xsltproc manual.xsl manual.xml > manual.html
   9
  10 header_examples.xml : header_specs.pl
  11         perl header_specs.pl
  12
  13 # Manual in Windows help format.
  14 htmlhelp.chm : $(SOURCE) manual_html_help.xsl
  15         xsltproc manual_html_help.xsl manual.xml
  16         -hhc htmlhelp.hhp
  17         copy htmlhelp.chm manual.chm
  18
  19 clean :
  20         -del ar*.html
  21         -del *.chm
  22         -del *.hhc
  23         -del *.hhp
  24         -del header_examples.xml
  25
  26 all : manual.html htmlhelp.chm
  27
  28 # Lint the manual to detect errors against the DTD.
  29 test :
  30         xmllint --noent --noout manual.xml