Re: gcc/doc/*texi patch ping

2014-04-13 Thread Tobias Burnus
Gerald Pfeifer wrote: Looks fine to me. And probably a good idea for the 4.9 branch as well. Thanks for the review! However, Jakub has already approved and committed it for me, just before he has branched 4.9 :-) Tobias

Re: gcc/doc/*texi patch ping

2014-04-13 Thread Gerald Pfeifer
On Thu, 10 Apr 2014, Tobias Burnus wrote: > 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

gcc/doc/*texi patch ping

2014-04-10 Thread Tobias Burnus
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 abo