2 SUFFIXES = .obj .eps .png
8 tgif -print -eps -color $<
10 XMLS = manual.xml string.xml date.xml
17 html-local: manual.html
25 manual.html : $(XMLS) $(IMAGES)
26 xml2html manual.xml > manual.html
28 manual.ps : $(XMLS) $(PICTURES)
29 xml2latex manual.xml > manual.tex
31 dvips -o manual.ps manual.dvi
33 manual.pdf : $(XMLS) $(PICTURES)
34 xml2latex manual.xml > manual.tex
38 xml2text manual.xml > manual.txt
41 xmllint --noout --xinclude --loaddtd --noent --schema ../doc.xsd manual.xml
42 # xmllint --noout --valid $(XMLS)
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)