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

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