> But maybe there is a way to get reasonably good results without
> changing the format, by writing something different into the index.
All the discussions up to now failed to find such a possibility. But
perhaps we missed something--could you give an example of a kind of
change you had in mind?
Makeinfo could change `:' to `colon' when writing the index in Info
format. The character `:' would still appear as itself in TeX and
other formats. This is not perfect, but it should be easy
and would give better results than changing the input.
_______________________________________________
Bug-texinfo mailing list
[EMAIL PROTECTED]
http://mail.gnu.org/mailman/listinfo/bug-texinfo