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
