Makefile
changeset 19 d80e6dedcc13
parent 12 343721860361
child 25 b1d9951b9933
     1.1 --- a/Makefile	Sun Mar 04 22:55:14 2007 +0000
     1.2 +++ b/Makefile	Mon Mar 12 18:59:31 2007 +0000
     1.3 @@ -21,9 +21,9 @@
     1.4  
     1.5  help::
     1.6  	@echo  'Build targets:'
     1.7 -	@echo  '* build		  - Build the toolchain'
     1.8 -	@echo  '  clean		  - Remove generated files'
     1.9 -	@echo  '  distclean	  - Remove generated files and configuration'
    1.10 +	@echo  '* build          - Build the toolchain'
    1.11 +	@echo  '  clean          - Remove generated files'
    1.12 +	@echo  '  distclean      - Remove generated files and configuration'
    1.13  
    1.14  include $(CT_TOP_DIR)/tools/Makefile
    1.15