I would like to ping the patch: http://gcc.gnu.org/ml/gcc-patches/2014-03/msg01673.html
It's a syntax issue: It simply makes no sense to have a @menu item which points to @nodes which are at the same or higher level than the section in which the @menu is. Newer makeinfo rightfully complain about this. Tobias
