David Kastrup <[email protected]> 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. Best, Arash
