diff -r 7d7dc3fab826 -r 89c6e4687fcc doc-docbook/src/Makefile
--- a/doc-docbook/src/Makefile	Mon Feb 23 19:02:16 2004 +0000
+++ b/doc-docbook/src/Makefile	Tue Feb 24 16:36:02 2004 +0000
@@ -3,8 +3,7 @@
 .PHONY: html dvi ps pdf tex dist
 
 html:
-	mkdir -p ../html
-	docbook2html -o ../html xml/etik-ol.xml
+	docbook2html -o html -d etik-ol-html.dsl xml/etik-ol.xml
 
 dvi:
 	docbook2dvi -o .. xml/etik-ol.xml