default:
	lhs2tex selections.lhs > selections.tex
	# pdflatex selections.tex
	# pdflatex selections.tex
	# pdflatex selections.tex
	rubber --pdf selections.tex
	open -a Skim selections.pdf

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