all: lhs2TeX instr-icfp.lhs -o instr-icfp.tex pdflatex -halt-on-err instr-icfp.tex