Debian jessie does not include the gmp documentation

[Niels Möller]

Vincent Lefevre <vincent at vinc17.net> writes:

> I can understand Debian: even if no invariant sections exist, the
> license would allow anyone to do a fork with an invariant section,
> thus a non-free fork.

I don't think that matters. Debian is happy to distribute non-copyleft
works like BSD-licensed code, which have the same potential problem.

> IMHO, the problem with the GMP manual probably is:
>
>   with the Front-Cover Texts being "A GNU Manual", and with the
>   Back-Cover Texts being "You have freedom to copy and modify
>   this GNU Manual, like GNU software".

I guess you're right.

> which prevents users from copying parts of the GMP manual to code
> comments (which have an incompatible license), for instance.

That's a general problem with the GNU FDL: No one but the copyright
holder can copy material between a GNU GPLed program and its GNU FDL
manual. But that's a different problem than the incompatibility with
debian's definition of free software.

Regards,
/Niels

-- 
Niels Möller. PGP-encrypted email is preferred. Keyid C0B98E26.
Internet email is subject to wholesale government surveillance.