%.tex: %.lhs
	lhs2TeX $< -o $@ --poly

%.pdf: %.tex
	pdflatex $<
	pdflatex $<

preview: lecture.pdf
	evince lecture.pdf &

run: lecture.lhs
	ghci -fglasgow-exts $<

gui: lecture.lhs
	ghc -fglasgow-exts --make $< -main-is main_gui -o $@ 

source.zip: lecture.lhs *.jpg *.png Makefile
	zip $@ $^

.PRECIOUS: %.tex
