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

diff --git a/examples/Makefile b/examples/Makefile
index 082c82e..7819837 100644
--- a/examples/Makefile
+++ b/examples/Makefile
@@ -5,8 +5,8 @@ all:
 		RegexMatcher.hs Unify.hs GArrowTikZ.hs
 
 tikz:
-	mkdir .build
-	../../../inplace/bin/ghc-stage2 -odir .build -hidir .build GArrowTikZ.hs Unify.hs
-	./GArrowTikZ > .build/test.tex
+	mkdir -p .build
+	../../../inplace/bin/ghc-stage2 -odir .build -hidir .build GArrowTikZ.hs Unify.hs test.hs
+	./test > .build/test.tex
 	cd .build; pdflatex test.tex
 	open .build/test.pdf