diff options
Diffstat (limited to 'bin')
| -rw-r--r-- | bin/jgf | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -1,10 +1,10 @@ #! /bin/sh # change the value of GFHOME to the directory where you have the gf binary -GFHOME=/home/aarne/GF/bin +GFHOME=/home/aarne/GF -JGUILIB=$GFHOME/java -GF=$GFHOME/gf +JGUILIB=$GFHOME/src/JavaGUI +GF=$GFHOME/bin/gf JGUI=GFEditor2 java -cp $JGUILIB $JGUI "$GF -java $*" |
