https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61505

--- Comment #5 from Arnaud Charlet <charlet at gcc dot gnu.org> ---
Never mind, I'm using makeinfo 4.8, so this is indeed another issue.
Let me know if my latest commit improves things.

Arno

Reply via email to