Re: Autogenerate gdbarch doc for internals manual

Mark Kettenis
2008-08-01T17:51:39Z

> Date: Fri, 01 Aug 2008 10:39:14 -0700
> From: Stan Shebs <stan@codesourcery.com>
>
> > You have the issue that's been discussed before in the GCC context: the
> > need for an appropriate license text on gdbarch.sh to allow parts of it to
> > be used in the manual that's under a different license from the code.
> > Good luck getting the FSF to produce a GPLv3 exception text for this in
> > reasonable time given how long all the other exceptions have taken so far
> > (getting the manual GPLed seems even less likely).
> >
> Ouch, I hadn't even thought of that! But then how does that work for
> libiberty, which collects snippets from LGPL files and pastes them into
> functions.texi, which is included in the GFDLed manual?

Shhht, don't tell the lawyers!