On 15 June 2016 at 11:38, David Kastrup <[email protected]> wrote:

> don't seem to have an effect on the index in the resulting Info file.
> That's a bit lack-lustre and makes the feature considerably less useful.
> While the Info file tends to be navigated with key sequences rather than
> by looking explicitly in the index, the same does not hold true for
> HTML, and the average user these days is more likely to be using HTML
> than either Info (with its key navigation) or PDF (which is the only
> backend apparently supporting index sorting criteria).
>

You are right, it is not implemented for anything other than the TeX
backend. I haven't looked at how easy it would be to implement for the
other output formats. I hadn't thought about someone looking at the
HTML index manually, so I agree it would be useful to be able to
control the sorting there as well.

Reply via email to