[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: `texindex` output depends on locale settings
From: |
arnold |
Subject: |
Re: `texindex` output depends on locale settings |
Date: |
Sun, 06 Nov 2022 12:13:41 -0700 |
User-agent: |
Heirloom mailx 12.5 7/5/10 |
Eli Zaretskii <eliz@gnu.org> wrote:
> Since texi2any just went through the same process, I think Perl is
> probably a good candidate to replace Gawk as an implementation language
> for texindex. Another possibility is Python.
I have no objection to someone else (re)writing texindex in another
language. It's not that big a program to start with, 648 lines in the
current texinfo repo.
Gavin, please sync with me offline as to what, if anything, you want me to do.
Thanks,
Arnold
- Re: `texindex` output depends on locale settings, (continued)
- 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
- Re: `texindex` output depends on locale settings,
arnold <=
- Re: `texindex` output depends on locale settings, Werner LEMBERG, 2022/11/06
- Re: `texindex` output depends on locale settings, Patrice Dumas, 2022/11/06
- Re: `texindex` output depends on locale settings, Gavin Smith, 2022/11/06
Re: `texindex` output depends on locale settings, Gavin Smith, 2022/11/06