X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=blobdiff_plain;f=examples%2FMakefile;h=e411f3205201e901dc01031edabdedd4848b907d;hp=7819837c6490ae3f2f70f07efbc996425050e0d2;hb=327fd294a7a4d3c02b5491708aadcd9acef9e376;hpb=15df3430938d7175361b848de6578aea195e612f

diff --git a/examples/Makefile b/examples/Makefile
index 7819837..e411f32 100644
--- a/examples/Makefile
+++ b/examples/Makefile
@@ -6,7 +6,7 @@ all:
 
 tikz:
 	mkdir -p .build
-	../../../inplace/bin/ghc-stage2 -odir .build -hidir .build GArrowTikZ.hs Unify.hs test.hs
-	./test > .build/test.tex
+	../../../inplace/bin/ghc-stage2 -odir .build -hidir .build GArrowTikZ.hs Unify.hs Demo.hs -o .build/demo
+	./.build/demo > .build/test.tex
 	cd .build; pdflatex test.tex
 	open .build/test.pdf