all: visit.pdf

visit.pdf: visit.tex
	"@TEX@" visit.tex

visit.tex: visit.lhs
	"@LHS@" --poly visit.lhs -o visit.tex


bibtex: all
	bibtex visit
	"@TEX@" visit.tex
	bibtex visit
	"@TEX@" visit.tex

export: visit.pdf
	cp visit.tex gpce33-middelkoop.tex
	cp visit.pdf gpce33-middelkoop.pdf
	latex visit.tex
	latex visit.tex
	dvips visit.dvi -o gpce33-middelkoop.ps