Debian jessie does not include the gmp documentation

Vincent Lefevre vincent at
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> - Web: <>
100% accessible validated (X)HTML - Blog: <>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)

More information about the gmp-devel mailing list