> Date: Tue, 10 Jul 2012 22:39:58 +0200
> From: Patrice Dumas
> Cc: bug-gdb@gnu.org, k...@freefriends.org
>
> On Thu, Jun 21, 2012 at 05:52:55AM +0300, Eli Zaretskii wrote:
> >
> > > ./gdb.texinfo:190: warning: @contents should only appear at beginning or
> > > end of document
>
> This warning is no longer there, it was not clearly wrong in formats
> other than TeX, and we don't want to have something specific for output
> formats. This issue will be revisited later, but in the mean time
> this one is no longer there...
Thank you.
___
bug-gdb mailing list
bug-gdb@gnu.org
https://lists.gnu.org/mailman/listinfo/bug-gdb
