path: root/bin/jgf

#! /bin/sh

# change the value of GFHOME to the directory where you have the gf binary
GFHOME=./

JGUILIB=../src/java
GF=$GFHOME/gf
JGUI=GFEditor2

java -cp $JGUILIB $JGUI "$GF -java $*"