summaryrefslogtreecommitdiff
path: root/bin/jgf2
diff options
context:
space:
mode:
Diffstat (limited to 'bin/jgf2')
-rw-r--r--bin/jgf22
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/jgf2 b/bin/jgf2
index ca83e4edc..7543b699b 100644
--- a/bin/jgf2
+++ b/bin/jgf2
@@ -5,7 +5,7 @@ GFHOME=/home/aarne/GF2/bin
# /.../chalmers.se/fs/cab/cs/.users/markus/home/GF1
JGUILIB=$GFHOME/java/
-GF=$GFHOME/gf2+
+GF=$GFHOME/gf2
JGUI=GFEditor
java -cp $JGUILIB $JGUI "$GF -java $*"