|
From: | Arash Esbati |
Subject: | Re: Running pdftex on auctex.texi with texinfo 2023-01-02.21 fails |
Date: | Sun, 08 Jan 2023 00:00:02 +0100 |
User-agent: | Gnus/5.13 (Gnus v5.13) Emacs/30.0.50 |
David Kastrup <dak@gnu.org> writes: > Those were defensive changes intended to make fewer assumptions. I'd be > surprised if they didn't work with older Texinfo variants, but surprises > are not unheard of... I tried it with texinfo.tex 2021-04-25.21 and no surprises. Do you want to go ahead and push your change? Best, Arash
[Prev in Thread] | Current Thread | [Next in Thread] |