diff -r bb73e7632b54 -r 32c6a336482d config/config.in
--- a/config/config.in	Tue May 10 23:56:11 2011 +0200
+++ b/config/config.in	Mon Aug 22 17:13:42 2011 +0200
@@ -1,4 +1,5 @@
 mainmenu "The crosstool-NG configuration menu"
+source "config/configure.in"
 source "config/backend.in"
 source "config/global.in"
 source "config/target.in"