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
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
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