Creating documentation is done through automake tools.

[xmldoc.git] / doc / makefile

diff --git a/doc/makefile b/doc/makefile
deleted file mode 100644 (file)
index 8fa353d..0000000
--- a/doc/makefile
+++ /dev/null
@@ -1,44 +0,0 @@
-
-.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)