doc/makefile

   1
   2 .SUFFIXES: .obj .eps .png
   3
   4 .obj.png:
   5         tgif -print -png $<
   6
   7 .obj.eps:
   8         tgif -print -eps -color $<
   9
  10 XMLS = guide.xml intro.xml overall.xml block.xml inline.xml multifiles.xml glossary.xml
  11 IMAGES=
  12
  13 PICTURES=
  14
  15 html: guide.html
  16
  17 ps: guide.ps
  18
  19 txt: guide.txt
  20
  21 all:  ps html txt
  22
  23 guide.html : $(XMLS) $(IMAGES) ../html.xsl
  24         ../xp ../preprocess.xsl guide.xml >guide.tmp
  25         ../xp ../html.xsl guide.tmp > guide.html
  26         rm guide.tmp
  27
  28 guide.ps : $(XMLS)  $(PICTURES) ../latex.xsl ../xp
  29         ../xp ../preprocess.xsl guide.xml >guide.tmp
  30         ../xp --latex ../latex.xsl guide.tmp > guide.tex
  31         latex guide.tex
  32         dvips -o guide.ps guide.dvi
  33         rm guide.tmp
  34
  35 guide.pdf : $(XMLS)  $(PICTURES) ../latex.xsl ../xp
  36         ../xp ../preprocess.xsl guide.xml >guide.tmp
  37         ../xp --latex ../latex.xsl guide.tmp > guide.tex
  38         pdflatex guide.tex
  39         rm guide.tmp
  40
  41 guide.txt : $(XMLS) ../text.xsl
  42         ../xp ../preprocess.xsl guide.xml >guide.tmp
  43         ../xp ../text.xsl guide.tmp > guide.txt
  44         rm guide.tmp
  45
  46 check:
  47         xmllint --noout --valid $(XMLS)
  48 clean:
  49         rm -f guide.html guide.ps guide.tex guide.dvi guide.log guide.txt guide.pdf
  50         rm -f $(IMAGES) $(PICTURES)