From f8b78fd2506328885be10cf7736a74b5233e3230 Mon Sep 17 00:00:00 2001
From: simonmar <unknown>
Date: Wed, 17 Jan 2001 10:14:40 +0000
Subject: [PATCH] [project @ 2001-01-17 10:14:40 by simonmar] more wibbles

---
 Makefile |    7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

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
 
-- 
1.7.10.4