1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/doc-docbook/src/Makefile	Thu Feb 05 17:35:42 2004 +0000
     1.3 @@ -0,0 +1,40 @@
     1.4 +all: html pdf ps
     1.5 +
     1.6 +.PHONY: html dvi ps pdf tex dist
     1.7 +
     1.8 +html:
     1.9 +	mkdir -p ../html
    1.10 +	docbook2html -o ../html xml/etik-ol.xml
    1.11 +
    1.12 +dvi:
    1.13 +	docbook2dvi -o .. xml/etik-ol.xml
    1.14 +
    1.15 +ps:
    1.16 +	docbook2ps -o .. xml/etik-ol.xml
    1.17 +
    1.18 +pdf:
    1.19 +	docbook2pdf -o .. xml/etik-ol.xml
    1.20 +
    1.21 +tex:
    1.22 +	docbook2tex -o .. xml/etik-ol.xml
    1.23 +
    1.24 +
    1.25 +dist:
    1.26 +	cd ..
    1.27 +	mkdir -p etik-ol-doc-html
    1.28 +	cp -r html src/pics etik-ol-doc-html
    1.29 +	echo "Open html/index.html!" > etik-ol-doc-html/README
    1.30 +	tar czvf etik-ol-doc-html.tar.gz etik-ol-doc-html
    1.31 +	rm -rf etik-ol-doc-html
    1.32 +	mkdir -p dist
    1.33 +	cp etik-ol-doc-html.tar.gz dist
    1.34 +	cp ps/etik-ol.ps dist
    1.35 +	rm -rf dist/pics dist/html
    1.36 +	cp -r html src/pics dist
    1.37 +
    1.38 +clean:
    1.39 +	rm -rf xml/*~ *~ 
    1.40 +	cd ..;\
    1.41 +	rm -rf etik-ol.ps etik-ol.pdf html dist \
    1.42 +	etik-ol-doc-html.tar.gz etik-ol-doc-html\
    1.43 +	etik-ol.dvi etik-ol.tex