1 files changed, 4 insertions, 0 deletions

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