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

---
 bin/jgf           | 11 +++++++++++
 bin/jgf2          | 11 -----------
 doc/gf-index.html |  6 +++---
 src/Makefile      |  5 +----
 4 files changed, 15 insertions(+), 18 deletions(-)
 create mode 100644 bin/jgf
 delete mode 100644 bin/jgf2

diff --git a/bin/jgf b/bin/jgf
new file mode 100644
index 000000000..c4911446f
--- /dev/null
+++ b/bin/jgf
@@ -0,0 +1,11 @@
+#! /bin/sh
+
+# change the value of GFHOME to the directory where you have the gf binary
+GFHOME=/home/aarne/GF2/bin
+
+JGUILIB=$GFHOME/java/
+GF=$GFHOME/gf
+JGUI=GFEditor2
+
+java -cp $JGUILIB $JGUI "$GF -java $*"
+
diff --git a/bin/jgf2 b/bin/jgf2
deleted file mode 100644
index c4911446f..000000000
--- a/bin/jgf2
+++ /dev/null
@@ -1,11 +0,0 @@
-#! /bin/sh
-
-# change the value of GFHOME to the directory where you have the gf binary
-GFHOME=/home/aarne/GF2/bin
-
-JGUILIB=$GFHOME/java/
-GF=$GFHOME/gf
-JGUI=GFEditor2
-
-java -cp $JGUILIB $JGUI "$GF -java $*"
-
diff --git a/doc/gf-index.html b/doc/gf-index.html
index ebd5c1168..f5ce255f7 100644
--- a/doc/gf-index.html
+++ b/doc/gf-index.html
@@ -11,14 +11,14 @@
 
 <h2>Version 2.0</h2>
 
-August 4, 2004.
+August 10, 2004.
 </center>
 
 <p>
 
 </p><h2>News</h2>
 
-<b>August 4, 2004. GF 2.0 now released</b>.
+<b>August 10, 2004. GF 2.0 now released</b>.
 Here are the <a
 href="http://www.cs.chalmers.se/%7Eaarne/GF/doc/gf2-highlights.html">highlights</a>.
 Software available on the <a href="http://www.cs.chalmers.se/%7Eaarne/GF/download">Download Page</a>.
@@ -316,6 +316,6 @@ Or just get the sources and start hacking.
 Last modified by
 <a href="http://www.cs.chalmers.se/%7Eaarne">
 Aarne Ranta</a>,
-August 4, 2004.
+August 10, 2004.
 
 </body></html>
\ No newline at end of file
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