summaryrefslogtreecommitdiff
path: root/bin
diff options
context:
space:
mode:
authoraarne <unknown>2004-05-03 12:39:32 +0000
committeraarne <unknown>2004-05-03 12:39:32 +0000
commitf644f13527d255b65971002e1b48f60d6c781868 (patch)
treed073e0e4a96c267be691c0996201d4403e3b784f /bin
parentde3ad4cbd7736e855b6d2a9f140cd2fdb60f089e (diff)
Generation with metavariables.
Diffstat (limited to 'bin')
-rw-r--r--bin/jgf22
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/jgf2 b/bin/jgf2
index 95c411b13..ed5fc144d 100644
--- a/bin/jgf2
+++ b/bin/jgf2
@@ -1,7 +1,7 @@
#! /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
JGUILIB=$GFHOME/java/
GF=$GFHOME/gf2