Debian jessie does not include the gmp documentation

[Marco Bodrato]

Ciao,

Il Mer, 28 Ottobre 2015 3:51 am, Niels Möller ha scritto:
> Vincent Lefevre <vincent at vinc17.net> writes:

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

Looking at the Copyright file in the package gmp-doc, it reads:

"This package is not part of the Debian GNU/Linux distribution as it is
licenced under the GFDL with invariant texts."

[
http://metadata.ftp-master.debian.org/changelogs//non-free/g/gmp-doc/gmp-doc_6.0.0-1_copyright
]

Not "invariant sections" but "invariant texts".


On the other side, the Debian package libmpfr-doc contains the
documentation and is distributed in . It's Copyright file reads:

"[...] GNU Free Documentation License, Version 1.2 or any later version
published by the Free Software Foundation; with no Invariant Sections,
with no Front-Cover Texts, and with no Back-Cover Texts."

[
http://metadata.ftp-master.debian.org/changelogs//main/m/mpfr4/mpfr4_3.1.3-1_copyright
]

Same licence but no Front-Cover, and no Back-Cover, as a result it is in
"main".

-- 
http://bodrato.it/