open .build/test.pdf
#sanity += BiGArrow.hs
+sanity += KappaDemo.hs
sanity += CircuitExample.hs
sanity += CommandSyntaxExample.hs
sanity += DotProduct.hs
../../../inplace/bin/ghc-stage2 $(ghc_opt) --show-iface .build/Demo.hi
../../../inplace/bin/ghc-stage2 $(ghc_opt) GArrowTikZ.hs Demo.hs DemoMain.hs Unify.hs -o .build/demo
./.build/demo > .build/test.tex
- cd .build; pdflatex test.tex
+ cd .build; TEXINPUTS=../tex-bits/:$TEXINPUTS: pdflatex test.tex