This is the mail archive of the gdb-patches@sourceware.org mailing list for the GDB project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: Status of 'blacklist' patch?


> From: Tom Tromey <tromey@redhat.com>
> Cc: "Maciej W. Rozycki" <macro@codesourcery.com>, justin.lebar@gmail.com,
>         stanshebs@earthlink.net, gdb-patches@sourceware.org
> Date: Thu, 03 Nov 2011 08:32:21 -0600
> 
> >>>>> "Eli" == Eli Zaretskii <eliz@gnu.org> writes:
> 
> Eli> No, please don't remove the @node line.  Instead, add to the parent
> Eli> node a @menu that mentions this node, or add the node to an existing
> Eli> menu, if the parent node already has a menu.
> 
> Here is what I am committing to fix the problem.
> 
> Tested by building with makeinfo 4.13.

Thank you.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]