all: related-work.pdf

related-work.pdf: related-work.tex
	"@TEX@" related-work.tex

related-work.tex: related-work.lhs
	"@LHS@" --poly related-work.lhs -o related-work.tex