diff -r 722c372fe201 Makefile
--- a/Makefile	Sat Jul 16 16:45:24 2005
+++ b/Makefile	Sun Jul 17 20:49:02 2005
@@ -134,11 +134,11 @@
 	@echo '  dist             - build and install everything into local dist directory'
 	@echo '  world            - clean everything, delete guest kernel build'
 	@echo '                     trees then make dist'
-	@echo '  xen              - build and install Xen hypervisor'
-	@echo '  tools            - build and install tools'
-	@echo '  kernels          - build and install guest kernels'
+	@echo '  xen              - build and install Xen hypervisor into local dist directory'
+	@echo '  tools            - build and install tools into local dist directory'
+	@echo '  kernels          - build and install guest kernels into local dist directory'
 	@echo '  kbuild           - synonym for make kernels'
-	@echo '  docs             - build and install docs'
+	@echo '  docs             - build and install docs into local dist directory'
 	@echo ''
 	@echo 'Cleaning targets:'
 	@echo '  clean            - clean the Xen, tools and docs (but not'