Timer class for measuring user/system time added.
3 .PHONY: html dvi ps pdf tex dist
7 docbook2html -o ../html xml/etik-ol.xml
10 docbook2dvi -o .. xml/etik-ol.xml
13 docbook2ps -o .. xml/etik-ol.xml
16 docbook2pdf -o .. xml/etik-ol.xml
19 docbook2tex -o .. xml/etik-ol.xml
24 mkdir -p etik-ol-doc-html
25 cp -r html src/pics etik-ol-doc-html
26 echo "Open html/index.html!" > etik-ol-doc-html/README
27 tar czvf etik-ol-doc-html.tar.gz etik-ol-doc-html
28 rm -rf etik-ol-doc-html
30 cp etik-ol-doc-html.tar.gz dist
32 rm -rf dist/pics dist/html
33 cp -r html src/pics dist
38 rm -rf etik-ol.ps etik-ol.pdf html dist \
39 etik-ol-doc-html.tar.gz etik-ol-doc-html\
40 etik-ol.dvi etik-ol.tex