$argc variable
Eli Zaretskii
eliz@gnu.org
Tue Nov 15 12:35:00 GMT 2005
> Date: Mon, 14 Nov 2005 16:28:10 +0000
> From: Andrew STUBBS <andrew.stubbs@st.com>
> Cc: Eli Zaretskii <eliz@gnu.org>, gdb-patches@sources.redhat.com
>
> Daniel Jacobowitz wrote:
> > It looks OK to me. Could you post the revised documentation (to
> > gdb-patches, please) so that we can make sure that Eli and you did
> > converge? I couldn't quite follow your earlier conversation.
>
> Here is the full patch including both code and docs.
>
> In the end I have dropped the index altogether. Eli didn't like the
> kindex and the cindex would be so close to the cindex for the section,
> and so similar in content, that it would be pointless.
>
> I still think there is an argument for a kindex entry for both $argc and
> $arg0...$arg1 in case people don't know they are looking for
> 'user-defined', but I'm not really that bothered.
>
> OK?
OK for the documentation patch.
More information about the Gdb-patches
mailing list