Re: Colon in index items

[Richard Stallman]

        Let's quickly change Makeinfo to convert colon to `<colon>'

    As I said yesterday: Let's get rid of the warning instead. The index
    entries won't work, but that is obviously not a big deal since I 
    don't remember more than one or two bug reports about it in 10+ years.

    Then we can do the real fix (quoting node names) in a future release.

Ok with me.