From 8c47cb46b2dd6592281b31452dba360caebc4dd6 Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Wed, 7 Nov 2007 13:07:02 +0000
Subject: moved gfcc program to gfi, wrote document gf3.txt

---
 src/Makefile | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'src/Makefile')

diff --git a/src/Makefile b/src/Makefile
index 6cda7d458..99a8c9304 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -198,10 +198,10 @@ gfc:
 	strip gfc
 	mv gfc ../bin/
 
-gfcc:
-	$(GHMAKE) $(GHCOPTFLAGS) -o gfcc GF/Devel/Shell.hs
-	strip gfcc
-	mv gfcc ../bin/
+gfi:
+	$(GHMAKE) $(GHCOPTFLAGS) -o gfi GF/Devel/GFI.hs
+	strip gfi
+	mv gfi ../bin/
 
 gf3:
 	$(GHMAKE) $(GHCOPTFLAGS) -o gf3 GF/Devel/GF3.hs
-- 
cgit v1.2.3