On 10/25/2025 9:38 PM, Gavin Smith wrote:
On Sat, Oct 25, 2025 at 01:36:13PM +0200, Andreas Metzler wrote:
Hello,
Afaiu the remark "texinfo.tex is updated much more frequently than full Texinfo releases are made; please use the latest version." on https://www.gnu.org/software/texinfo/ using the latest texinfo.tex with texinfo 7.2 should work and is supported, so there is a real bug somewhere.Thanks for the report and to Hilmar for tracking down the change which led to this lossage. It is almost certainly a bug in my change to texinfo.tex. I will try and get this fixed.
Too much of honor! I just figured that the issue is caused by the texinfo.tex file. Tracking the issue down to the commit was done by Andreas.
I just tested your new texinfo.tex and my (not so) minimal example can be compiled now. Many thanks!
Hilmar
OpenPGP_signature.asc
Description: OpenPGP digital signature
