Re: GNAT documentation in Debian

[Florian Weimer <fw@deneb.enyo.de>]

* 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.