bug-texinfo
[Top][All Lists]
Advanced

[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



reply via email to

[Prev in Thread] Current Thread [Next in Thread]