diff -r a63cef252656 -r cd56b9c11492 doc-docbook/src/Makefile
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/doc-docbook/src/Makefile	Thu Feb 05 17:35:42 2004 +0000
@@ -0,0 +1,40 @@
+all: html pdf ps
+
+.PHONY: html dvi ps pdf tex dist
+
+html:
+	mkdir -p ../html
+	docbook2html -o ../html xml/etik-ol.xml
+
+dvi:
+	docbook2dvi -o .. xml/etik-ol.xml
+
+ps:
+	docbook2ps -o .. xml/etik-ol.xml
+
+pdf:
+	docbook2pdf -o .. xml/etik-ol.xml
+
+tex:
+	docbook2tex -o .. xml/etik-ol.xml
+
+
+dist:
+	cd ..
+	mkdir -p etik-ol-doc-html
+	cp -r html src/pics etik-ol-doc-html
+	echo "Open html/index.html!" > etik-ol-doc-html/README
+	tar czvf etik-ol-doc-html.tar.gz etik-ol-doc-html
+	rm -rf etik-ol-doc-html
+	mkdir -p dist
+	cp etik-ol-doc-html.tar.gz dist
+	cp ps/etik-ol.ps dist
+	rm -rf dist/pics dist/html
+	cp -r html src/pics dist
+
+clean:
+	rm -rf xml/*~ *~ 
+	cd ..;\
+	rm -rf etik-ol.ps etik-ol.pdf html dist \
+	etik-ol-doc-html.tar.gz etik-ol-doc-html\
+	etik-ol.dvi etik-ol.tex