> Sorry for wrting to this mail address, but I did not find anywhere > in the bug reporting documentation how to report a bug on > the...documentation itself.... You can report documentation bugs in the GCC Bugzilla bug tracking system. You can read more on the subject at: http://gcc.gnu.org/bugs.html Thanks for taking the time! Ben