changeset 178 | 78e85ec44c7e |
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 17:16:24 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 ''