Arash Esbati <ar...@gnu.org> writes: > David Kastrup <d...@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
