Debian jessie does not include the gmp documentation

[Torbjörn Granlund]

"Marco Bodrato" <bodrato at mail.dm.unipi.it> writes:

  "[...] 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."
  
  Same licence but no Front-Cover, and no Back-Cover, as a result it is in
  "main".

We use 1.3 (which might not be relevant; I don't even know the
differences between 1.2 and 1.3).

-- 
Torbjörn
Please encrypt, key id 0xC8601622