diff -r e3d532dd8b5d -r c70da6c50bdb config/config.in --- a/config/config.in Wed May 19 17:53:04 2010 +0200 +++ b/config/config.in Thu May 12 19:45:30 2011 +0200 @@ -1,3 +1,4 @@ +mainmenu "The crosstool-NG configuration menu" source "config/backend.in" source "config/global.in" source "config/target.in"