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.

Reply via email to