Re: Testing TeXinfo 7.2.90 packages?

On 2026-02-24 20:13:57 +0100, Preuße, Hilmar wrote:
> Am 23.02.2026 um 15:06 schrieb Vincent Lefevre:
> > On 2026-02-22 12:14:55 +0100, Preuße, Hilmar wrote:
> 
> Hello,
> 
> > > Does that improve things regarding HTML generation?
> > 
> > Yes, thanks.
> > 
> So, I can remove the debian/NEWS entry again, as the beharrlich of
> the HTML generator change (if I understood correctly)?

No, without a @documentlanguage, the language is still unspecified.
The only difference in the generated HTML is that instead of an
empty lang (lang=""), one gets no lang at all. This apparently
allows one to provide the language via another way. The difference
currently matters for Firefox (for the font selection), but this
is not clear:

  https://bugzilla.mozilla.org/show_bug.cgi?id=2015102

And perhaps Firefox will handle an absence of lang differently in
the future. Ditto for other browsers.

In any case, while @documentlanguage was previously unnecessary
for manuals in English (since lang="en" was generated by default),
this is no longer the case.