colon in indices

[Werner LEMBERG]

The problems with `:' in indices are really, well, problematic.  I
really need `:' in indices since `:' can be part of a variable name in
groff, and the use of <colon> as a replacement isn't obvious.

Here my suggestion:

  Add a new command, say @mapindexkey, which translates an input
  character for the `i' command (and probably other commands like
  index-apropos also) to an equivalent string, e.g.

    @mapindexkey : <colon>

  This should affect only makeinfo while producing info files -- I've
  just check my groff.pdf file, and all index entries with `:' work
  fine.

  If I now press `i :', info should handle this as `i <colon>';
  similarly, all index entry in the groff info files should be
  translated with this mechanism.


    Werner