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

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