doc/Makefile.am

   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 = manual.xml string.xml
  11 IMAGES=
  12
  13 PICTURES=
  14
  15 EXTRA_DIST = $(XMLS)
  16
  17 html-local: manual.html
  18
  19 ps-local: manual.ps
  20
  21 txt: manual.txt
  22
  23 all:  ps html txt
  24
  25 manual.html : $(XMLS) $(IMAGES)
  26         xml2html manual.xml > manual.html
  27
  28 manual.ps : $(XMLS)  $(PICTURES)
  29         xml2latex manual.xml > manual.tex
  30         latex manual.tex
  31         dvips -o manual.ps manual.dvi
  32
  33 manual.pdf : $(XMLS)  $(PICTURES)
  34         xml2latex manual.xml > manual.tex
  35         pdflatex manual.tex
  36
  37 manual.txt : $(XMLS)
  38         xml2text manual.xml > manual.txt
  39
  40 check:
  41         xmllint --noout --xinclude --loaddtd --noent --schema ../doc.xsd manual.xml
  42 #       xmllint --noout --valid $(XMLS)
  43
  44 clean-local:
  45         rm -f manual.html manual.ps manual.tex manual.dvi manual.log manual.aux manual.toc manual.txt manual.pdf
  46         rm -f $(IMAGES) $(PICTURES)