From 9b94ed10f2d9e3b535f60b808318c4c3087ac96e Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Thu, 13 Dec 2007 22:15:19 +0000
Subject: [PATCH] some generated GFCCRaw files added to darcs; make gf3langs
 for alltenses

---
 resource/Makefile | 12 ++++++++----
 1 file changed, 8 insertions(+), 4 deletions(-)

diff --git a/resource/Makefile b/resource/Makefile
index 54f56d73d..269ea3c28 100644
--- a/resource/Makefile
+++ b/resource/Makefile
@@ -208,10 +208,14 @@ gf3present:
 
 
 gf3langs:
-	mv ../present/LangSpa.gfo tmpLangSpa.gfo
-	$(GFNew) -path=present:prelude -target=langs --make ../present/Lang???.gfo $(RTSS)
-	mv langs.gfcc ../present
-	mv tmpLangSpa.gfo ../present/LangSpa.gfo 
+#	mv ../present/LangSpa.gfo tmpLangSpa.gfo
+#	$(GFNew) -path=present:prelude -target=langs --make ../present/Lang???.gfo $(RTSS)
+#	mv langs.gfcc ../present
+#	mv tmpLangSpa.gfo ../present/LangSpa.gfo 
+	mv ../alltenses/LangSpa.gfo tmpLangSpa.gfo
+	$(GFNew) -path=alltenses:prelude -target=langs --make ../alltenses/Lang???.gfo $(RTSS)
+	mv langs.gfcc ../alltenses
+	mv tmpLangSpa.gfo ../alltenses/LangSpa.gfo 
 
 
 clean: