From 434053ac2c3242cc98d72f8f9b1d29088009ce5a Mon Sep 17 00:00:00 2001
From: priesnit <priesnit@chalmers.se>
Date: Thu, 2 Mar 2006 20:53:44 +0000
Subject: [PATCH] GFHOME must now be set in the environment

minor change in German numbers
---
 bin/jgf                     | 3 ---
 examples/numerals/german.gf | 2 +-
 2 files changed, 1 insertion(+), 4 deletions(-)

diff --git a/bin/jgf b/bin/jgf
index c4825ff58..4ef03f47f 100644
--- 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
diff --git a/examples/numerals/german.gf b/examples/numerals/german.gf
index 3e7b9990c..e155e3c8f 100644
--- a/examples/numerals/german.gf
+++ b/examples/numerals/german.gf
@@ -23,7 +23,7 @@ lin n2 = mkZahl "zwei" "zw
 lin n3 = mkZahl "drei" "dreizehn" "dreissig" ;
 lin n4 = regZahl "vier" ;
 lin n5 = regZahl "fünf" ;
-lin n6 = regZahl "sechs" ;
+lin n6 = mkZahl "sechs" "sechzehn" "sechzig" ;
 lin n7 = mkZahl "sieben" "siebzehn" "siebzig" ;
 lin n8 = regZahl "acht" ;
 lin n9 = regZahl "neun" ;