https://gcc.gnu.org/bugzilla/show_bug.cgi?id=44032
--- Comment #7 from Eric Gallager <egallager at gcc dot gnu.org> --- Richard says the FSF doesn't object to combinations of GFDL code from the manual with GPL code from the source and that we can put a statement to this effect in the internals manual.