Re: Running pdftex on auctex.texi with texinfo 2023-01-02.21 fails

[David Kastrup]

Arash Esbati <arash@gnu.org> writes:

> David Kastrup <dak@gnu.org> writes:
>
>> That appears to be a different problem.  Maybe
>
> Thanks, the last change works as expected.  What do you think, is your
> suggestion safe enough to push?  Otherwise, I will try to test with an
> older texinfo.tex before installing.

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...

-- 
David Kastrup