Re: [patch] Fix texinfo warnings for doc/gcc.texi [was: Re: doc bugs]

[Jakub Jelinek]

On Sat, Mar 29, 2014 at 10:51:58AM +0100, Tobias Burnus wrote:
> 2014-03-29  Tobias Burnus  <bur...@net-b.de>
> 
>       PR other/59055
>       * doc/bugreport.texi (Bugs): Remove nodes pointing to the
>       nirvana.
>       * doc/gcc.texi (Service): Update description in the @menu
>       * doc/invoke.texi (Option Summary): Remove misplaced and
>       duplicated @menu.

Ok.

        Jakub