1.1 --- a/tools/tools.mk	Sun Jul 15 09:09:04 2007 +0000
     1.2 +++ b/tools/tools.mk	Wed Aug 15 14:59:37 2007 +0000
     1.3 @@ -25,7 +25,7 @@
     1.4  	@chmod u+rwx,go+rx-w $@
     1.5  
     1.6  help-distrib::
     1.7 -	@echo  '  updatetools    - Update the config tools'
     1.8 +	@echo  '  updatetools        - Update the config tools'
     1.9  
    1.10  distclean::
    1.11  	@[ $(CT_TOP_DIR) = $(CT_LIB_DIR) ] || rm -rf $(CT_TOP_DIR)/tools