[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: `texindex` output depends on locale settings
From: |
Eli Zaretskii |
Subject: |
Re: `texindex` output depends on locale settings |
Date: |
Sun, 06 Nov 2022 16:15:02 +0200 |
> From: arnold@skeeve.com
> Date: Sun, 06 Nov 2022 06:33:33 -0700
> Cc: arnold@skeeve.com
>
> Hi.
>
> Thanks for the report. As written, texindex is indeed suitable only
> for English; when I wrote it ~ 9 years ago, nobody said anything about
> support for other languages.
>
> I think this can be remedied, although there may be issues with
> awk versions besides gawk as most don't support Unicode or other
> multibyte character sets.
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`.
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.
- `texindex` output depends on locale settings, Werner LEMBERG, 2022/11/06
- Re: `texindex` output depends on locale settings, arnold, 2022/11/06
- Re: `texindex` output depends on locale settings,
Eli Zaretskii <=
- Re: `texindex` output depends on locale settings, Werner LEMBERG, 2022/11/06
- Re: `texindex` output depends on locale settings, Eli Zaretskii, 2022/11/06
- Re: `texindex` output depends on locale settings, Werner LEMBERG, 2022/11/06
- Re: `texindex` output depends on locale settings, Eli Zaretskii, 2022/11/06
- Re: `texindex` output depends on locale settings, arnold, 2022/11/06
- Re: `texindex` output depends on locale settings, Eli Zaretskii, 2022/11/06