PAPER=thesis

all: lhs
	pdflatex -halt-on-error $(PAPER).tex

lhs:
	lhs2TeX --poly $(PAPER).lhs -o $(PAPER).tex

bibtex: all
	bibtex thesis
	pdflatex -halt-on-error $(PAPER).tex
	pdflatex -halt-on-error $(PAPER).tex
	pdflatex -halt-on-error $(PAPER).tex

small:
	lhs2TeX --poly $(PAPER).lhs -o $(PAPER).tex -s smallsize
	pdflatex -halt-on-error $(PAPER).tex
	bibtex thesis
	pdflatex -halt-on-error $(PAPER).tex
	pdflatex -halt-on-error $(PAPER).tex
	pdflatex -halt-on-error $(PAPER).tex