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.xhtml
  16
  17 ps: guide.ps
  18
  19 txt: guide.txt
  20
  21 all:  ps html txt
  22
  23 guide.xhtml : $(XMLS) $(IMAGES) ../html.xsl
  24         ../xp ../html.xsl guide.xml > guide.xhtml
  25
  26 guide.ps : $(XMLS)  $(PICTURES) ../latex.xsl ../xp
  27         ../xp --latex ../latex.xsl guide.xml > guide.tex
  28         latex guide.tex
  29         dvips -o guide.ps guide.dvi
  30
  31 guide.pdf : $(XMLS)  $(PICTURES) ../latex.xsl ../xp
  32         ../xp --latex ../latex.xsl guide.xml > guide.tex
  33         pdflatex guide.tex
  34
  35 guide.txt : $(XMLS) ../text.xsl
  36         ../xp ../text.xsl guide.xml > guide.txt
  37
  38 check:
  39         xmllint --noout --xinclude --loaddtd --noent --schema ../doc.xsd guide.xml
  40 #       xmllint --noout --valid $(XMLS)
  41
  42 clean:
  43         rm -f guide.xhtml guide.ps guide.tex guide.dvi guide.log guide.txt guide.pdf
  44         rm -f $(IMAGES) $(PICTURES)