GFHOME must now be set in the environment

minor change in German numbers
2006-03-02 20:53:44 +00:00
1 parent f568dbcf64
commit 434053ac2c
@@ -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