GFHOME must now be set in the environment

minor change in German numbers
2006-03-02 20:53:44 +00:00
parent 773fb9080c
commit 00b14b25d3
2 changed files with 1 additions and 4 deletions
--- a/bin/jgf
+++ b/bin/jgf
@@ -1,8 +1,5 @@
 #! /bin/sh

-# change the value of GFHOME to the directory where you have the gf binary
-GFHOME=/home/aarne/GF
-
 JGUILIB=$GFHOME/src/JavaGUI
 GF=$GFHOME/bin/gf
 JGUI=GFEditor2