Debian jessie does not include the gmp documentation
vincent at vinc17.net
Tue Oct 27 00:37:27 UTC 2015
On 2015-10-26 18:29:19 +0100, Torbjörn Granlund wrote:
> Debian has decided against the GNU FDL; since it can have invariant
> sections they reject all manuals which are licensed under it, even when
> no invariant sections exist.
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.
Now, the GMP manual forbids Invariant Sections:
"with no Invariant Sections".
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".
which prevents users from copying parts of the GMP manual to code
comments (which have an incompatible license), for instance.
Vincent Lefèvre <vincent at vinc17.net> - Web: <https://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)
More information about the gmp-devel