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