Path fixed.

[helm.git] / matita / matita / lib / Makefile

diff --git a/matita/matita/lib/Makefile b/matita/matita/lib/Makefile
index f463d32e92ddf8bdd988b8c6f7f46488b744493f..077e945ceb271d274d5f3fcc7850b5a90c68e5e7 100644 (file)
--- a/matita/matita/lib/Makefile
+++ b/matita/matita/lib/Makefile
@@ -1,6 +1,6 @@
 all:
        touch extraction.ma
-       EXTRACT_HASKELL=1 ~/unison_homes/mowgli/matita1.0-reallyfresh/matita/matitac extraction.ma 2> /tmp/foo.hs
+       EXTRACT_HASKELL=1 ../matitac extraction.ma 2> /tmp/foo.hs
        cat preamble.hs /tmp/foo.hs > extraction.hs
 
 .PHONY: all