|
From: | David Kastrup |
Subject: | Re: Running pdftex on auctex.texi with texinfo 2023-01-02.21 fails |
Date: | Sun, 08 Jan 2023 00:05:06 +0100 |
User-agent: | Gnus/5.13 (Gnus v5.13) Emacs/29.0.50 (gnu/linux) |
Arash Esbati <arash@gnu.org> writes: > 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? Right. I tend to forget that I have push access... -- David Kastrup
[Prev in Thread] | Current Thread | [Next in Thread] |