all: manual.ps manual/index.html

clean:
	rm *.aux *.dvi *.ps *.log

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

manual.dvi: manual.tex
	latex manual.tex

manual/index.html: manual.tex
	latex2html -local_icons manual.tex