LHS2TEX=lhs2TeX

all: paper.pdf

paper.tex: paper.lhs
	$(LHS2TEX) --poly paper.lhs -o paper.tex

paper.pdf: paper.tex
	pdflatex paper.tex
	bibtex paper
	pdflatex paper.tex

remake:
	pdflatex paper.tex