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 -----------
 2 files changed, 11 insertions(+), 11 deletions(-)
 create mode 100644 bin/jgf
 delete mode 100644 bin/jgf2

(limited to 'bin')

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 $*"
-
-- 
cgit v1.2.3