Re: `texindex` output depends on locale settings

[arnold]

Eli Zaretskii <eliz@gnu.org> wrote:

> Are you sure this Werner's request can be fulfilled:
>
> > >   I consider it very bad that `texindex` is locale-dependent.  IMHO
> > >   the proper solution is to make `texinfo.tex` emit a document
> > >   encoding statement to the (unsorted) index file that in turn gets
> > >   acknowledged by `texindex`.

Sure? No. But I have some thoughts.

> FWIW, I don't even understand how can this be accomplished, unless the
> program reinvents all the library functions that deal with characters
> from scratch, instead of using libc functions (which are
> locale-dependent).  And Gawk does use libc functions for that.

The current islower() is

function islower(c)
{
        return index("abcdefghijklmnopqrstuvwxyz", c) > 0
}

It could instead be

function islower(c)
{
        return c ~ /[[:lower:]]/
}

And similar for the others.  That would work for any unicode character.

Arnold