https://gcc.gnu.org/bugzilla/show_bug.cgi?id=123976
--- Comment #113 from Peter Dyballa <Peter_Dyballa at web dot de> --- I also patched gcc/doc/ifn.texi to be compiled with makeinfo 4.8. Configure produced the same output as before on screen – maybe I should save the config.log files too! Build has started – and will break some time in the afternoon?
