[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: colon in indices
|
From: |
Karl Berry |
|
Subject: |
Re: colon in indices |
|
Date: |
Sat, 9 Mar 2002 09:50:20 -0500 |
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 ...
- colon in indices, Werner LEMBERG, 2002/03/09
- Re: colon in indices,
Karl Berry <=