Debian jessie does not include the gmp documentation

Vincent Lefevre vincent at
Tue Oct 27 19:21:49 UTC 2015

On 2015-10-27 19:51:29 +0100, Torbjörn Granlund wrote:
> nisse at (Niels Möller) writes:
>   I'm pretty sure that debian policy is to reject a GNU FDL manual if and
>   only if the manual in question includes any invariant sections.
> Apparently they are stricter than that, since they excluded the GMP
> manual.

Fixed front-cover / back-cover text is equivalent to invariant sections.

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