all:
pdf: manual.pdf

manual.pdf: manual.tex
	pdflatex manual.tex
	makeindex manual.idx
	bibtex manual
	pdflatex manual.tex
	latex_count=5 ; \
	while egrep -s 'Rerun (LaTeX|to get cross-references right)' manual.log && [ $$latex_count -gt 0 ] ;\
	do \
	   echo "Rerunning latex...." ;\
	   pdflatex manual.tex;\
	   latex_count=`expr $$latex_count - 1` ;\
	done
install:
clean:
	rm -f *.ps *.dvi *.aux *.toc *.idx *.ind *.ilg *.log *.out *.pdf
