diff -r 30644208c955 -r 06b78d44d1a0 config/config.in
--- a/config/config.in	Thu May 26 22:51:03 2011 +0200
+++ b/config/config.in	Fri May 09 19:08:00 2014 -0700
@@ -1,4 +1,3 @@
-mainmenu "The crosstool-NG configuration menu"
 source "config/configure.in"
 source "config/backend.in"
 source "config/global.in"