all: depend.pdf

depend.pdf: paper.tex
	"@TEX@" paper.tex

paper.tex: paper.lhs content.lhs ../ariem-thesis/dependent-ags/depend.lhs
	"@LHS@" --poly paper.lhs -o paper.tex


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