This is the mail archive of the
gdb-patches@sources.redhat.com
mailing list for the GDB project.
Re: [PATCH] Removal of markup annotations
> > 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.
That seems sensible. I can see now that "History" is in "Controlling GDB"
because it describes the setting of parameters. However, I think the
"Commands" section might be a better place. I think "History" should also be
called "Command History" to differentiate it from "Values History".
Nick