diff -r d3c4d99860a9 -r 5f42cb5cc1bf doc-docbook/src/Makefile
--- a/doc-docbook/src/Makefile	Sat Apr 03 20:33:05 2004 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,39 +0,0 @@
-all: html pdf ps
-
-.PHONY: html dvi ps pdf tex dist
-
-html:
-	docbook2html -o ../html -d etik-ol-html.dsl 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