Re: Manual: indexes are missing links

[Eli Zaretskii]

> Date: Wed, 20 Dec 2006 11:14:12 -0600
> From: address@hidden (Karl Berry)
> Cc: address@hidden, address@hidden, address@hidden
> 
>     What is this new format?
> 
> Yeah, what new format?

The one you mention:

>     - address@hidden@^H] cookie included in index menus, so Info readers
>       can handle the ] etc. commands better.

This one.

> These changes were made for Texinfo 4.7, released 9 April 2004.  And
> they were made specifically for Emacs! 

As Jury corrected me, the problem is not with supporting the new
format, the problem was that menus in the indices were not decorated
as normal menus since long ago.

I agree that we should consider revising this decision now, that the
machines are so much faster.