https://gcc.gnu.org/bugzilla/show_bug.cgi?id=123976
--- Comment #100 from Peter Dyballa <Peter_Dyballa at web dot de> --- Created attachment 64894 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=64894&action=edit Docs created with makeinfo 4.8 The system's makeinfo 4.8 did its job, but added some complaints.
