On Fri, Jul 11, 2025 at 06:35:04PM +0100, Gavin Smith wrote: > On Fri, Jul 11, 2025 at 07:14:13PM +0200, Sebastian Meyer wrote: > > Would it make sense for texinfo.tex to skip over @documentlanguage en when > > no other language has been set before? > > It seems like it is a special case for not much benefit. txi-LL.tex would > be read for any other value of LL and so I expect users would generally > expect txi-en.tex to be read the same way.
So I've committed a change that means that txi-en.tex is still read, as before, but if it is not found, processing does not stop, only a warning message is printed. This should hopefully resolve the issue. I will shortly upload the new version of texinfo.tex to ftp.gnu.org.
