From 102f112209767afd3daf14d43f3c9a500f986c3c Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Sat, 15 Mar 2008 21:02:59 +0000
Subject: [PATCH] putting pattern macros in place (not properly tested yet)

---
 resource/Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/resource/Makefile b/resource/Makefile
index ba029a63..4fb55208 100644
--- a/resource/Makefile
+++ b/resource/Makefile
@@ -25,7 +25,7 @@ GFCCP=$(GFCC) -preproc=./mkPresent
 new:
 	export GF='../../bin/gf -s' ; export GF_LIB_PATH='..'; $(MAKE) -e all
 
-all: chmod show-path prelude present alltenses mathematical api langs compiled
+all: chmod show-path prelude present alltenses
 
 chmod:
 	chmod a+x mkPresent
@@ -159,7 +159,7 @@ gfdoc:
 	mv ../prelude/*.html doc/gfdoc
 
 gf3: 
-	export GF_LIB_PATH=..; $(MAKE) -e gf3prelude gf3present gf3alltenses gf3mathematical
+	export GF_LIB_PATH=..; $(MAKE) -e gf3prelude gf3present gf3alltenses
 
 gf3prelude: 
 	$(GFNew) ../src/*.gf