all: manual.ps html

manual.ps: manual.dvi
	dvips -o manual.ps manual

manual.dvi: manual.tex
	latex manual

html: html/index.html

html/index.html: manual.tex
	test -d html && rm -rf html/* || echo -n
	test -d html || mkdir html
	latex2html -local_icons -dir html manual.tex

clean: 
	rm -rf html
	rm -f manual.dvi manual.aux manual.ps manual.log

.PHONY: html
