diff options
| author | aarne <unknown> | 2004-04-02 12:23:48 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2004-04-02 12:23:48 +0000 |
| commit | 73c4fe8ddae261c02220d7b8205761210b61c3a8 (patch) | |
| tree | 7ebd9bd01a250fa20b432f0e2c3e5be696ec885a /bin | |
| parent | f53f35978f4cd6b0e4c5e9123b5e88f04f6f4452 (diff) | |
Beta release.
Diffstat (limited to 'bin')
| -rw-r--r-- | bin/jgf2 | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -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 $*" |