https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70255
--- Comment #22 from shatz at dsit dot co.il --- (In reply to Jakub Jelinek from comment #21) > It can't be changed in those manuals, ever, both 6.1 and 5.3 releases have > already been released, their documentation, including online docs, is what > has been released at that point. It sucks. The software can't be changed after release, for obvious reasons, but docs are not software. If it's impossible to change the policy about not fixing mistakes in docs, then, may be, it is possible to add documentation errata?
