diff -r 4b8cba298bf3 -r 731718e6ffdc tools/tools.mk
--- a/tools/tools.mk	Sun Jul 15 09:09:04 2007 +0000
+++ b/tools/tools.mk	Fri May 02 17:49:29 2008 +0000
@@ -25,7 +25,7 @@
 	@chmod u+rwx,go+rx-w $@
 
 help-distrib::
-	@echo  '  updatetools    - Update the config tools'
+	@echo  '  updatetools        - Update the config tools'
 
 distclean::
 	@[ $(CT_TOP_DIR) = $(CT_LIB_DIR) ] || rm -rf $(CT_TOP_DIR)/tools