Re: texinfo manual index entries for @vindex etc

[Karl Berry]

Hi Kevin,

    It'd be good if the texinfo manual had entries for vindex and friends in
    the "Command and Variable Index".

Indeed!

    Would it be as easy as below (untested!)?

Looks good to me, will do.

Thanks,
Karl