From e3c0d8b49cdb1ae0c6f9834f639b81345cb28541 Mon Sep 17 00:00:00 2001
From: aarne <aarne@chalmers.se>
Date: Mon, 18 May 2009 08:50:23 +0000
Subject: [PATCH] entry "make gf" in Makefile with similar effect as in old
 src/Makefile

---
 Makefile | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/Makefile b/Makefile
index 1f3c7516e..418c2e61d 100644
--- a/Makefile
+++ b/Makefile
@@ -21,3 +21,7 @@ clean:
 
 sdist:
 	runghc Setup.hs sdist
+gf:
+	runghc Setup.hs build rgl-none
+	strip dist/build/gf/gf
+	mv dist/build/gf/gf bin