This is the mail archive of the gdb-patches@sources.redhat.com 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: [PATCH] Removal of markup annotations

 > 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
Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]