From fc70ba9a6a79284c0e904b9472236f0715b29df1 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 --- lib/resource-1.0/Makefile | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/lib/resource-1.0/Makefile b/lib/resource-1.0/Makefile index 0dc4c889a..f49fe61c8 100644 --- a/lib/resource-1.0/Makefile +++ b/lib/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