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