diff options
| author | aarne <unknown> | 2004-03-26 20:08:30 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2004-03-26 20:08:30 +0000 |
| commit | 6719aedde34c3a4f0ccb78931968c6fe490b3282 (patch) | |
| tree | 489e96a556d27ba87474c4ce89e3757a17ececb4 /bin | |
| parent | 2433403b6247022ac56133ca935307868fcef6b9 (diff) | |
Better help.
Diffstat (limited to 'bin')
| -rw-r--r-- | bin/jgf2 | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -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 $*" |