Re: GNAT documentation in Debian

["Ludovic Brenta" <ludovic@ludovic-brenta.org>]

On Apr 10, 4:40 pm, Florian Weimer <f...@deneb.enyo.de> wrote:
> * Ludovic Brenta:
>
> > None of the GCC maintainers (including myself) having sufficient time,
> > energy or interest to produce the non-free doc packages, Nikita
> > V. Youshchenko took it upon himself.  Unfortunately, he lacked the
> > time, energy or interest to include the Ada docs.  You are welcome to
> > file a wishlist bug against the source package `gcc-4.1-doc-non-dfsg',
> > or contribute the necessary patches yourself.
>
> Aren't the GNAT manuals suitable for main?  The boilerplate reads:
>
> @copying
> Copyright @copyright{} 1995-2005, Free Software Foundation
>
> Permission is granted to copy, distribute and/or modify this document
> under the terms of the GNU Free Documentation License, Version 1.2
> 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
> ``@value{EDITION} User's Guide'',
> and with no Back-Cover Texts.
> A copy of the license is included in the section entitled
> ``GNU Free Documentation License''.
> @end copying
>
> I can ask upstream to remove the GFDL from the Invariant Sections
> list.  Technically, this is a no-op anyway.

That would be nice. Please do and see what happens.

(technically this would require creating a new gnat-4.1-doc source
package, or re-include the docs in the gcc-4.1 source package.)

--
Ludovic Brenta.