From 971d6340adc9e8834e01ccc737d047033c7d406e Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Fri, 6 Oct 2006 15:56:52 +0000 Subject: [PATCH] fixed all (that now uses long paths) --- matita/template_makefile.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/matita/template_makefile.in b/matita/template_makefile.in index 630a14180..e61f757d6 100644 --- a/matita/template_makefile.in +++ b/matita/template_makefile.in @@ -1,6 +1,6 @@ SRC=$(shell find @ROOT@ -name "*.ma" -a -type f) SHORTSRC=$(echo $(SRC) | sed 's?^@ROOT@/??g') -TODO=$(SHORTSRC:%.ma=%.mo) +TODO=$(SRC:%.ma=%.mo) MATITA_FLAGS= MATITA_FLAGS+=-noprofile -- 2.39.2