diff -r 4b8cba298bf3 -r 341c43d832f1 tools/tools.mk
--- a/tools/tools.mk	Sun Jul 15 09:09:04 2007 +0000
+++ b/tools/tools.mk	Thu May 01 19:47:25 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