From ebbc0a3e806f2df19a74b3f7a1d3575476c3237b Mon Sep 17 00:00:00 2001
From: "kr.angelov" <kr.angelov@chalmers.se>
Date: Thu, 22 May 2008 14:32:49 +0000
Subject: move GF.Devel.GF to GF

---
 src-3.0/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src-3.0/Makefile')

diff --git a/src-3.0/Makefile b/src-3.0/Makefile
index 53c648908..66e709e18 100644
--- a/src-3.0/Makefile
+++ b/src-3.0/Makefile
@@ -207,7 +207,7 @@ gfc: gf3
 gfi: gf3
 
 gf3:
-	$(GHMAKE) $(GHCOPTFLAGS) $(GHCFLAGS) -o gf3 GF/Devel/GF.hs
+	$(GHMAKE) $(GHCOPTFLAGS) $(GHCFLAGS) -o gf3 GF.hs
 	strip $(GF3_EXE)
 	mv $(GF3_EXE) ../bin/
 
-- 
cgit v1.2.3