diff -r 89b41dbffe8d -r 59676cfb4ada tools/Makefile
--- a/tools/Makefile	Mon May 07 09:04:02 2007 +0000
+++ b/tools/Makefile	Sun Jun 17 16:24:23 2007 +0000
@@ -7,6 +7,5 @@
 	@wget "$(CONFIG_SUB_SRC)" -O "$(CONFIG_SUB_DEST)"
 	@wget "$(CONFIG_GUESS_SRC)" -O "$(CONFIG_GUESS_DEST)"
 
-help::
+help-distrib::
 	@echo  '  updatetools    - Update the config tools'
-	@echo  ''