summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorSimon Marlow <marlowsd@gmail.com>2009-06-15 14:00:08 +0000
committerSimon Marlow <marlowsd@gmail.com>2009-06-15 14:00:08 +0000
commit47e182d4873add885735b831f3528ee5c208cca9 (patch)
treed4bc12c87928d85afb8edd26df78ff58e4deaf9a /Makefile
parent971ccfbbc3d81e8c2f24c985b22bc93748e865e0 (diff)
downloadhaskell-47e182d4873add885735b831f3528ee5c208cca9.tar.gz
Add 'make help', displaying a list of useful make targets
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile7
1 files changed, 6 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index f51b9a8f7e..69c419c47d 100644
--- a/Makefile
+++ b/Makefile
@@ -32,6 +32,11 @@ else
default : all
@:
+# For help, type 'make help'
+.PHONY: help
+help :
+ @cat MAKEHELP
+
ifneq "$(findstring clean,$(MAKECMDGOALS))" ""
-include mk/config.mk
else
@@ -44,7 +49,7 @@ endif
include mk/custom-settings.mk
# No need to update makefiles for these targets:
-REALGOALS=$(filter-out bootstrapping-files framework-pkg clean clean_% distclean maintainer-clean show,$(MAKECMDGOALS))
+REALGOALS=$(filter-out bootstrapping-files framework-pkg clean clean_% distclean maintainer-clean show help,$(MAKECMDGOALS))
# NB. not the same as saying '%: ...', which doesn't do the right thing:
# it does nothing if we specify a target that already exists.