282655f9f0a4be0b45390c8cb4ff525213f22a1e
[xmldoc.git] / 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 = guide.xml intro.xml overall.xml block.xml inline.xml multifiles.xml glossary.xml
11 IMAGES=
12
13 PICTURES=
14
15 EXTRA_DIST = $(XMLS)
16
17 html-local: guide.xhtml
18
19 ps-local: guide.ps
20
21 txt: guide.txt
22
23 all:  ps html txt
24
25 guide.xhtml : $(XMLS) $(IMAGES) ../html.xsl
26         ../xp ../html.xsl guide.xml > guide.xhtml
27
28 guide.ps : $(XMLS)  $(PICTURES) ../latex.xsl ../xp
29         ../xp --latex ../latex.xsl guide.xml > guide.tex 
30         latex guide.tex
31         dvips -o guide.ps guide.dvi
32
33 guide.pdf : $(XMLS)  $(PICTURES) ../latex.xsl ../xp
34         ../xp --latex ../latex.xsl guide.xml > guide.tex 
35         pdflatex guide.tex
36
37 guide.txt : $(XMLS) ../text.xsl
38         ../xp ../text.xsl guide.xml > guide.txt
39
40 check:
41         xmllint --noout --xinclude --loaddtd --noent --schema ../doc.xsd guide.xml
42 #       xmllint --noout --valid $(XMLS)
43
44 clean-local:
45         rm -f guide.xhtml guide.html guide.ps guide.tex guide.dvi guide.log guide,aux guide.toc guide.txt guide.pdf
46         rm -f $(IMAGES) $(PICTURES)