Debian jessie does not include the gmp documentation

[Andreas Enge]

Hello!

On Wed, Oct 28, 2015 at 06:14:03AM +0100, Marco Bodrato wrote:
> On the other side, the Debian package libmpfr-doc contains the
> documentation and is distributed in . It's Copyright file reads:
> Same licence but no Front-Cover, and no Back-Cover, as a result it is in
> "main".

I think that your analysis is correct. Would the gmp people consider
removing the front and back covers? I suppose that there would be no
practical disadvantages, and it would make users happier.

Andreas