GMP docs not shipped "due to licensing"

[Ansgar]

On Mon, 2022-05-30 at 10:15 +0200, Simon Sobisch wrote:
> ---------------------------------------------------------------
> Permission is granted to copy, distribute and/or modify this document
> under the terms of the GNU Free Documentation License, Version 1.3 or
> any later version published by the Free Software Foundation; with no 
> Invariant Sections, 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”.
> ---------------------------------------------------------------
> 
> Can you please share where the licensing issue is? I don't think
> that's  the GFDL - because this manual has no invariant sections - is
> it?

The problem are the "Front-Cover Texts" and "Back-Cover Texts".

Ansgar