all:
	# this needs to be run 4 times, to complete all references and stuff 
	# and build the document completely
	pdflatex prelude-handbook-09.tex
	pdflatex prelude-handbook-09.tex
	pdflatex prelude-handbook-09.tex
	pdflatex prelude-handbook-09.tex
clean:
	rm -rf prelude-handbook-09.toc
	rm -rf prelude-handbook-09.aux
	rm -rf prelude-handbook-09.pdf
	rm -rf prelude-handbook-09.log