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''. -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/20130715193221.GA31338@pegase
