# Jools documentation makefile
all:	manual.pdf manual.html post-build-cleanup

manual.ps: manual.dvi
	dvips -tletterSize -Ppdf -G0 manual.dvi

manual.dvi: manual.tex
	latex manual.tex
	latex manual.tex

manual.pdf: manual.ps
	ps2pdf manual.ps

manual.html: manual.tex
	hevea manual.tex

post-build-cleanup: manual.pdf manual.html
	rm -f *.aux *.log *.dvi *.ps

clean:
	rm -f *.aux *.log *.dvi *.ps *.pdf *.html