https://gcc.gnu.org/bugzilla/show_bug.cgi?id=123976
--- Comment #65 from Iain Sandoe <iains at gcc dot gnu.org> --- (In reply to Iain Sandoe from comment #62) > (In reply to Peter Dyballa from comment #61) > > First failure, due to too old makeinfo (GNU texinfo 4.8): > > Yes, 4.8 is too old... However, it looks lik we might have a fix for that - I'm testing it.
