entry "make gf" in Makefile with similar effect as in old src/Makefile

2009-05-18 08:50:23 +00:00
1 parent 3b65d88336
commit 953c77a08a
@@ -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