From 59ef816568e8c9eee49c78b1e6d8eadc884835a6 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Thu, 2 Aug 2012 15:56:00 +0000 Subject: [PATCH] Path fixed. --- matita/matita/lib/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/matita/matita/lib/Makefile b/matita/matita/lib/Makefile index f463d32e9..077e945ce 100644 --- 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 -- 2.39.2