Re: GFDL with invariant texts
On Mon, Jul 15, 2013 at 09:13:26PM +0200, Florian Weimer wrote:
> >> > - a verbatim copy of GPL-1 at the end of the manual
> > Here, read GFDL instead of GPL-1.
> And what are the invariant sections and cover texts?
> If there are none, non-free isn't necessary.
Here is an extract from the *current* gnat-gps manual. It is explicit,
and the documentation must move from main to non-free. I have not
found any equivalent notice in the latest versions from Adacore.
-- gnat-gps package: docs/gps.texi
Permission is granted to copy, distribute and/or modify this document
under the terms of the GNU Free Documentation License, Version 1.1
or any later version published by the Free Software Foundation;
with the Invariant Sections being ``GNU Free Documentation License'', with the
Front-Cover Texts being
``Using the GNAT Programming Studio'',
and with no Back-Cover Texts.
A copy of the license is included in the section entitled
``GNU Free Documentation License''.
Reply to: