This is the mail archive of the
gdb-patches@sources.redhat.com
mailing list for the GDB project.
Re: [PATCH] Removal of markup annotations
> > 2005-06-22 Nick Roberts <nickrob@snap.net.nz>
> >
> > * gdb.texinfo (History) Rename "Command History".
> > (Command History): Move node "Server Prefix" from section on
> > Annotations here.
>
> Fine with me, but please add indexing, so that this information could
> be found quickly and efficiently. At the very least, "@cindex
> @code{server}, command prefix" should be there, and possibly also
> something else, like perhaps "@cindex hide commands from history" or
> some such (think about a user who'd wish to find the description of
> the feature without knowing its exact name).
OK. Comitted.
I see that "Value History" and the output command are similarly disconnected
in the manual. I have not added a link as I did not want to risk censure.
Nick