PAPER=stepwise

all: $(PAPER).pdf

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

$(PAPER).tex: $(PAPER).lhs ../ariem-thesis/breadth-first-ags/stepwise.lhs
	lhs2TeX --poly $(PAPER).lhs -o $(PAPER).tex

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

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

export: remake
	cp -f stepwise.tex export/15.tex
	cp -f stepwise.pdf export/15.pdf
	cd export; tar -czf 15.tar.gz 15.tex 15.pdf