[PATCH] Removal of markup annotations

[Eli Zaretskii]

> From: Nick Roberts <nickrob@snap.net.nz>
> Date: Tue, 21 Jun 2005 09:49:06 +1200
> Cc: gdb-patches@sources.redhat.com
> 
>  > > 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

Maybe we simply should describe the "server CMD" feature in the
"History" node, instead of having it in a separate node.