all: paper pack check

paper: paper.pdf

check:
	hlint paper.lhs
	
	
paper.tex: paper.lhs
	lhs2TeX -o paper.tex paper.lhs

paper.pdf: paper.tex references.bib
	pdflatex paper
	bibtex   paper
	pdflatex paper
	pdflatex paper

pack: paper.lhs makefile paper.pdf
	zip -9 -r -v ../gp2010-paper.zip -xi paper.lhs makefile paper.pdf references.bib