Re: [PATCH] Removal of markup annotations

[Nick Roberts <nickrob at snap dot net dot nz>]

 > > In gdb.texinfo I suggest:
 > > 
 > > 1) Moving the node "Server Prefix" out of "Annotations" and into "Controlling
 > >    GDB" betweed "History" and "Screen Size".
 > 
 > You are right that it should be moved out of "Annotations", but I'm
 > not sure the place you suggest is the right one (it's not about
 > controlling GDB).  I will try to find a better place.

Its related to "History" which also isn't about controlling GDB, so perhaps
that node should also be moved

 > > 2) In the node "Running the Program" the markup annotations described after
 > >    signalled should be removed (signal-name, signal-name-end etc).
 > 
 > Why? do those annotations belong to those you propose to remove?

Yes

 > > I suggest removing annotate.texinfo from the repository as it largely
 > > covers the material in gdb.texinfo plus the markup annotations.
 > 
 > ??? AFAIK, gdb.texinfo only covers level-3 annotations.  The rest are
 > in annotate.texinfo.

Thats right.  They're the ones that I'm proposing that we remove now.  If that
patch is approved, I'll check the documentation more carefully to ensure that
we're not losing anything.

Nick