all: preamble.tex CallArity.tex UnVarGraph.tex

preamble.tex: diss.fmt
	lhs2TeX -i diss.fmt --poly /dev/null  -o preamble.tex

CallArity.tex: diss.fmt CallArity.hs
	lhs2TeX -i diss.fmt --poly CallArity.hs  -o CallArity.tex

UnVarGraph.tex: diss.fmt UnVarGraph.hs
	lhs2TeX -i diss.fmt --poly UnVarGraph.hs  -o UnVarGraph.tex