[PATCH] Removal of markup annotations

[Nick Roberts]

 > If we are going to remove level-2 annotations, we should update the
 > manual to that effect.  Please review the "Annotations" chapter in
 > gdb.texinfo and the text in annotate.texinfo, and see if anything
 > there needs to be changed.

In gdb.texinfo I suggest:

1) Moving the node "Server Prefix" out of "Annotations" and into "Controlling
   GDB" betweed "History" and "Screen Size".  I think this should be done
   even if we don't remove level-2 annotations.

2) In the node "Running the Program" the markup annotations described after
   signalled should be removed (signal-name, signal-name-end etc).

I suggest removing annotate.texinfo from the repository as it largely
covers the material in gdb.texinfo plus the markup annotations.


Nick