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?

Andrew