summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authoraarne <aarne@chalmers.se>2012-02-25 09:53:09 +0000
committeraarne <aarne@chalmers.se>2012-02-25 09:53:09 +0000
commitdcea5b554fdd20fb1c921bd8b030fb339460aec0 (patch)
treefdfbd3d9b16131166ca7e6256912885c8a7e4e89
parent03f3baeba3e4921446846828a2974e81e766f934 (diff)
Hin and Snd in MiniGrammar demo
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 3275b2306..9187f0c4c 100644
--- a/Makefile
+++ b/Makefile
@@ -1,4 +1,4 @@
-.PHONY: all build install doc clean sdist
+.PHONY: all build install doc clean sdist gf
all: build