X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=Makefile;h=1a6c7f5de3eb425bd1f8c6ca7f6504b94cf0bd68;hb=b126c85fc7c445550f122e1f80b8059a6efd528f;hp=6b4bd42028287e190f1bb309d494555ebbe04a97;hpb=e8efbfa2a73812c9aaf3a926dce1ad2509549d5c;p=ghc-hetmet.git

diff --git a/Makefile b/Makefile
index 6b4bd42..1a6c7f5 100644
--- a/Makefile
+++ b/Makefile
@@ -39,7 +39,7 @@ project-check :
 # -----------------------------------------------------------------------------
 # Make sure configure is up-to-date
 
-all boot :: configure
+all install dist binary-dist :: configure
 configure :: configure.in
 	@echo "WARNING: configure needs to be regenerated.  Type"
 	@echo "      make -f Makefile.config ./configure"
@@ -236,8 +236,11 @@ binary-dist::
 #
 # Do it like this: 
 #
-#	$ make boot
+#	$ make
 #	$ make dist Project=Ghc
+#
+# WARNING: `make dist' calls `make distclean' before tarring up the tree.
+#
 
 .PHONY: dist