From 2095351f96fd5c2ed832ee37e6e7b75df5ac41ff Mon Sep 17 00:00:00 2001 From: aarne Date: Fri, 9 Nov 2007 15:57:15 +0000 Subject: [PATCH] undid temporary comment-out of all in make resource --- resource-1.0/Makefile | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/resource-1.0/Makefile b/resource-1.0/Makefile index 0dc4c889a..f49fe61c8 100644 --- a/resource-1.0/Makefile +++ b/resource-1.0/Makefile @@ -29,8 +29,7 @@ GFCCP=$(GFCC) -preproc=./mkPresent new: export GF='../../bin/gf -s' ; make -e all -all: langs compiled -#all: chmod show-path prelude present alltenses mathematical api langs compiled +all: chmod show-path prelude present alltenses mathematical api langs compiled chmod: chmod a+x mkPresent