On 10/7/26 8:00 PM, Gavin Smith wrote: Hello Gavin,
released texinfo.tex. However in the latest commit, they just pulled in the \def\texinfoversion{2026-10-07.17}.I've attempted a fix for this particular manual in commit a6b8cc724e1a3b11f, texinfo.tex version 2026-10-07.17. First, I don't understand how this texinfo.tex is actually the one being used. I checked at https://ftp.gnu.org/gnu/texinfo/texinfo.tex and the currently uploaded version is version "2026-06-01.16", which is from before the date where you found the problem started (July 23rd). I can only guess that the Automake developers pulled in the version from the Texinfo git repository to use.As discussed in [1] automake will probably return to the officially
Anyway. Many thanks for your extensive explanation, it was helpful! Hilmar [1] https://debbugs.gnu.org/cgi/bugreport.cgi?bug=82017
OpenPGP_0x0C871C4C653C1F59.asc
Description: OpenPGP public key
OpenPGP_signature.asc
Description: OpenPGP digital signature
