From 9650864b06bbc90c5e2f64c36cf0c67c68300af5 Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Tue, 10 Aug 2004 08:17:03 +0000
Subject: the name gf2

---
 src/Makefile | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

(limited to 'src')

diff --git a/src/Makefile b/src/Makefile
index 1d3814a6a..5effe1579 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -34,7 +34,7 @@ windows: today nofud-links justwindows
 install-java: javac
 	-rm -f ../bin/java
 	ln -s ../src/java ../bin
-	@echo "PLEASE edit GFHOME in bin/jgf2"
+	@echo "PLEASE edit GFHOME in bin/jgf"
 opt:
 	$(GHMAKE) $(GHCOPTFLAGS) $(GHCINCLUDENOFUD) GF.hs -o gf
 	strip gf
@@ -70,9 +70,6 @@ nofud-links:
 	ln -s ../for-ghc/Arch.hs for-ghc-nofud
 	ln -s ../for-hugs/ArchEdit.hs for-ghc-nofud
 
-batch: 
-	$(GHMAKE) $(GHCFLAGS) $(GHCINCLUDE) GF2.hs -o gf
-	strip gf
 
 api: 
 	$(GHMAKE) $(GHCFLAGS) $(GHCINCLUDE) API.hs
-- 
cgit v1.2.3