Docs/makefile.plain

   1 # $Id: makefile.plain,v 1.1 2007/06/23 16:29:59 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 # Manual as a single HTML file
   6 manual.html : $(SOURCE) manual.xsl
   7         xsltproc manual.xsl manual.xml > manual.html
   8
   9 header_examples.xml : header_specs.pl
  10         perl header_specs.pl
  11
  12
  13 clean :
  14
  15 all : manual.html
  16
  17 # Lint the manual to detect errors against the DTD.
  18 test :
  19         xmllint --noent --noout manual.xml