https://gcc.gnu.org/bugzilla/show_bug.cgi?id=44032
Eric Gallager <egallager at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |joseph at codesourcery dot com, | |steven at gcc dot gnu.org --- Comment #5 from Eric Gallager <egallager at gcc dot gnu.org> --- (In reply to Jorn Wolfgang Rennecke from comment #4) > (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, Joseph that was your comment... do you want to try it? > 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.