all: visits-ag.pdf

visits-ag.pdf: visits-ag.tex
	"@TEX@" visits-ag.tex

visits-ag.tex: visits-ag.lhs
	"@LHS@" --poly visits-ag.lhs -o visits-ag.tex