From 6719aedde34c3a4f0ccb78931968c6fe490b3282 Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Fri, 26 Mar 2004 20:08:30 +0000
Subject: Better help.

---
 bin/jgf2 | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'bin')

diff --git a/bin/jgf2 b/bin/jgf2
index 7543b699b..9b2ac7152 100644
--- a/bin/jgf2
+++ b/bin/jgf2
@@ -1,12 +1,12 @@
 #! /bin/sh
 
 # change the value of GFHOME to the directory where you have the gf binary
-GFHOME=/home/aarne/GF2/bin
+GFHOME=/home/aarne/GF/bin
        # /.../chalmers.se/fs/cab/cs/.users/markus/home/GF1
 
 JGUILIB=$GFHOME/java/
-GF=$GFHOME/gf2
-JGUI=GFEditor
+GF=/usr/local/bin/gf
+JGUI=GFEditor2
 
 java -cp $JGUILIB $JGUI "$GF -java $*"
 
-- 
cgit v1.2.3