tools/Makefile
changeset 176 59676cfb4ada
parent 63 89b41dbffe8d
child 182 223c84ec2d90
     1.1 --- a/tools/Makefile	Mon May 07 09:04:02 2007 +0000
     1.2 +++ b/tools/Makefile	Sun Jun 17 16:24:23 2007 +0000
     1.3 @@ -7,6 +7,5 @@
     1.4  	@wget "$(CONFIG_SUB_SRC)" -O "$(CONFIG_SUB_DEST)"
     1.5  	@wget "$(CONFIG_GUESS_SRC)" -O "$(CONFIG_GUESS_DEST)"
     1.6  
     1.7 -help::
     1.8 +help-distrib::
     1.9  	@echo  '  updatetools    - Update the config tools'
    1.10 -	@echo  ''