Re: info --index not finding all indexed entries

[Karl Berry]

    > -...@cindex hello
    > +@@cindex hello

    Ping!

Pong.  Thanks Ralf, installed.