Eli Zaretskii <e...@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