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.
_______________________________________________
Bug-texinfo mailing list
[EMAIL PROTECTED]
http://mail.gnu.org/mailman/listinfo/bug-texinfo
