default:
	pdflatex manual
	pdflatex manual
	bibtex manual
	bibtex manual
	pdflatex manual
	pdflatex manual

clean :
	/bin/rm -f *.log *.aux *.bbl *.blg *~ manual.pdf

tidy :
	/bin/rm -f *.log *.aux *.bbl *.blg *~ 
