# HG changeset patch
# User "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
# Date 1180716629 0
# Node ID 39e4ef7d6d8d6718b8d376e912530527386bbe41
# Parent  7e226579cf8ce15d0d1e90095ab80fb04e0bdc65
Kill duplicated help text.

diff -r 7e226579cf8c -r 39e4ef7d6d8d Makefile
--- a/Makefile	Fri Jun 01 16:20:20 2007 +0000
+++ b/Makefile	Fri Jun 01 16:50:29 2007 +0000
@@ -40,11 +40,7 @@
 	@echo  'Environement variables:'
 	@echo  '  STOP           - Stop the build just after this step'
 	@echo  '  RESTART        - Restart the build just before this step'
-	@echo
-	@echo  'Environement variables:'
-	@echo  '  STOP           - Stop the build just after this step'
-	@echo  '  RESTART        - Restart the build just before this step'
-	@echo
+	@echo  ''
 	@echo  'Execute "make" or "make all" to build all targets marked with [*]'
 
 .config: $(CONFIG_FILES) $(CT_TOP_DIR)/config/debug.in