On Tue, Sep 24, 2024 at 06:36:38PM +0200, Patrice Dumas wrote:
> On Mon, Sep 23, 2024 at 06:35:37PM +0100, Gavin Smith wrote:
> >
> > I don't know if TEXINFO_LANGUAGE_DIRECTORIES is necessary, but if so
> > the name is confusing, as you would think it is something to do with
> > human languages li
On Mon, Sep 23, 2024 at 06:35:37PM +0100, Gavin Smith wrote:
>
> I don't know if TEXINFO_LANGUAGE_DIRECTORIES is necessary, but if so
> the name is confusing, as you would think it is something to do with
> human languages like English or French, not the "Texinfo language".
The variable is necess
On Sun, Aug 25, 2024 at 07:03:31PM +0200, Patrice Dumas wrote:
> > > > We could make this list of directories a customization option, like we
> > > > currently do with INCLUDE_DIRECTORIES, which is influenced by -P and -I,
> > > > for example named TEXINFO_LANGUAGE_DIRECTORIES, and add a command li
