On Sat, Aug 24, 2024 at 11:48:08AM +0200, Patrice Dumas wrote:
> On Fri, Aug 23, 2024 at 11:01:25PM +0200, Patrice Dumas wrote:
> > Hello,
> >
> > While we are on the subject of HTML Xref, I think that the "HTML Xref
> > Mismatch" node should be removed
> >
> >
> > https://www.gnu.org/software/
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
