From 9c044d0c3f6cbdd9d2b6ec0b4554c1671c88add9 Mon Sep 17 00:00:00 2001 From: aarne Date: Thu, 18 May 2006 14:59:58 +0000 Subject: [PATCH] Wordlist format --- resource-1.0/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/resource-1.0/Makefile b/resource-1.0/Makefile index 9fb83211c..33e33764b 100644 --- a/resource-1.0/Makefile +++ b/resource-1.0/Makefile @@ -19,7 +19,7 @@ langs: present: chmod u+x mkPresent - $(GF) -make -src -preproc=./mkPresent */Lang??*.gf + $(GF) -make -src -preproc=./mkPresent */Lang??*.gf +RTS -M800M -K100M mv */*.gfc */*.gfr ../present mathematical: