The problems with `:' in indices are really, well, problematic.
Agreed. (And in node names.)Add a new command, say @mapindexkey This seems more confusing to me than using a control character sequence ... As long as we have to change info format (argh), we might as well fix the problem for all characters in all contexts, I think ... _______________________________________________ Bug-texinfo mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/bug-texinfo
