default:
	lhs2tex selections.ltx > selections.tex
	pdflatex selections
	bibtex selections
	pdflatex selections
	pdflatex selections
	open selections.pdf

clean:
	rm -f *.aux *.log selections.pdf *.tex *.ptb *.bbl *.blg