--- /dev/null
+
+SUFFIXES = .obj .eps .png
+
+.obj.png:
+ tgif -print -png $<
+
+.obj.eps:
+ tgif -print -eps -color $<
+
+XMLS = guide.xml intro.xml overall.xml block.xml inline.xml multifiles.xml glossary.xml
+IMAGES=
+
+PICTURES=
+
+EXTRA_DIST = $(XMLS)
+
+html-local: guide.html
+
+ps-local: guide.ps
+
+txt: guide.txt
+
+all: ps html txt
+
+guide.html : $(XMLS) $(IMAGES) ../html.xsl
+ ../xp ../html.xsl guide.xml > guide.xhtml
+
+guide.ps : $(XMLS) $(PICTURES) ../latex.xsl ../xp
+ ../xp --latex ../latex.xsl guide.xml > guide.tex
+ latex guide.tex
+ dvips -o guide.ps guide.dvi
+
+guide.pdf : $(XMLS) $(PICTURES) ../latex.xsl ../xp
+ ../xp --latex ../latex.xsl guide.xml > guide.tex
+ pdflatex guide.tex
+
+guide.txt : $(XMLS) ../text.xsl
+ ../xp ../text.xsl guide.xml > guide.txt
+
+check:
+ xmllint --noout --xinclude --loaddtd --noent --schema ../doc.xsd guide.xml
+# xmllint --noout --valid $(XMLS)
+
+clean-local:
+ rm -f guide.xhtml guide.html guide.ps guide.tex guide.dvi guide.log guide.txt guide.pdf
+ rm -f $(IMAGES) $(PICTURES)
+++ /dev/null
-
-.SUFFIXES: .obj .eps .png
-
-.obj.png:
- tgif -print -png $<
-
-.obj.eps:
- tgif -print -eps -color $<
-
-XMLS = guide.xml intro.xml overall.xml block.xml inline.xml multifiles.xml glossary.xml
-IMAGES=
-
-PICTURES=
-
-html: guide.xhtml
-
-ps: guide.ps
-
-txt: guide.txt
-
-all: ps html txt
-
-guide.xhtml : $(XMLS) $(IMAGES) ../html.xsl
- ../xp ../html.xsl guide.xml > guide.xhtml
-
-guide.ps : $(XMLS) $(PICTURES) ../latex.xsl ../xp
- ../xp --latex ../latex.xsl guide.xml > guide.tex
- latex guide.tex
- dvips -o guide.ps guide.dvi
-
-guide.pdf : $(XMLS) $(PICTURES) ../latex.xsl ../xp
- ../xp --latex ../latex.xsl guide.xml > guide.tex
- pdflatex guide.tex
-
-guide.txt : $(XMLS) ../text.xsl
- ../xp ../text.xsl guide.xml > guide.txt
-
-check:
- xmllint --noout --xinclude --loaddtd --noent --schema ../doc.xsd guide.xml
-# xmllint --noout --valid $(XMLS)
-
-clean:
- rm -f guide.xhtml guide.ps guide.tex guide.dvi guide.log guide.txt guide.pdf
- rm -f $(IMAGES) $(PICTURES)