manual.aux:
	latex manual || (rm manual.aux manual.dvi ; false)

manual.dvi:
	latex manual || (rm manual.aux manual.dvi ; false)
	while grep "Rerun to get" manual.log ; do latex manual ; done

manual.bbl: manual.aux mag.bib
	bibtex manual

manual.dvi: manual.bbl

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

manual-forpdf.ps: manual.dvi
	dvips -P cmz -o $@ $<

.INTERMEDIATE: manual-forpdf.ps

manual.pdf: manual-forpdf.ps
	ps2pdf $< $@

clean:
	rm -f manual.aux manual.dvi manual.ps manual.bbl manual.log manual.blg manual.ps manual.out manual.brf manual.pdf manual.toc

manual.aux manual.dvi: ../examples/reverse.p

manual.aux manual.dvi: version.tex

version.tex: Makefile ../Makefile manual.tex
	cd .. && make doc/$@

manual.aux manual.dvi: manual.tex