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