[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  <burnus@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