[PATCH] Removal of markup annotations

[Eli Zaretskii]

> From: Nick Roberts <nickrob@snap.net.nz>
> Date: Mon, 20 Jun 2005 23:55:59 +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.

> 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?

> 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.