https://gcc.gnu.org/bugzilla/show_bug.cgi?id=44032
--- Comment #4 from Jorn Wolfgang Rennecke <amylaar at gcc dot gnu.org> --- (In reply to Eric Gallager from comment #3) > Is this fixed in the same way that bug 44035 was fixed? No. 44035 was about the inability to fix, 44032 is about the actual licensing state of the documentation. A brief look at gccint.texi shows that this file remains purely GFDL. I suppose there are numerous other files likewise affected. It can only be considered fixed if all the parts of existing documentation that you might conceivably want to cut & paste into GPLed code are suitably re-licensed, and we have put something in place that the issue will generally not appear with new GCC documentation. If all documentation files that come with GCC were patched as suggested in comment #2, that could be considered a solution, as people who cut & paste the copyright blurb for new files would pick up the new text. Well, there might be a transition period when backed-up patches and patches made with using older baselines need to be vetted for necessary adjustments. If only some documentation files are patches to have the amended copyright blurb, as others have no applicable code samples, the others should have a warning not to copy them to new files that will have such samples.
