From 7ff3bf19bf9c4395fc98d77df7256935b1238ffa Mon Sep 17 00:00:00 2001
From: arjen <arjen>
Date: Thu, 5 Apr 2012 07:28:00 +0000
Subject: [PATCH] Creating documentation is done through automake tools.

---
 doc/{makefile => Makefile.am} | 14 ++++++++------
 1 file changed, 8 insertions(+), 6 deletions(-)
 rename doc/{makefile => Makefile.am} (76%)

diff --git a/doc/makefile b/doc/Makefile.am
similarity index 76%
rename from doc/makefile
rename to doc/Makefile.am
index 8fa353d..d5756c9 100644
--- a/doc/makefile
+++ b/doc/Makefile.am
@@ -1,5 +1,5 @@
 
-.SUFFIXES: .obj .eps .png
+SUFFIXES = .obj .eps .png
 
 .obj.png:
 	tgif -print -png $<
@@ -12,15 +12,17 @@ IMAGES=
 
 PICTURES=
 
-html: guide.xhtml
+EXTRA_DIST = $(XMLS)
 
-ps: guide.ps
+html-local: guide.html
+
+ps-local: guide.ps
 
 txt: guide.txt
 
 all:  ps html txt
 
-guide.xhtml : $(XMLS) $(IMAGES) ../html.xsl
+guide.html : $(XMLS) $(IMAGES) ../html.xsl
 	../xp ../html.xsl guide.xml > guide.xhtml
 
 guide.ps : $(XMLS)  $(PICTURES) ../latex.xsl ../xp
@@ -39,6 +41,6 @@ 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
+clean-local:
+	rm -f guide.xhtml guide.html guide.ps guide.tex guide.dvi guide.log guide.txt guide.pdf
 	rm -f $(IMAGES) $(PICTURES)
-- 
2.20.1