GMP license: COPYING file (GPL) and LGPLv3

[Torbjorn Granlund]

Vincent Lefevre <vincent at vinc17.net> writes:

  Even for GMP, the README file is ambiguous, if not incorrect: the
  manual is under the GFDL, and some files, such as install-sh and
  the Makefile.in ones, have a special license (BTW, I'm wondering
  why Debian devs didn't complain that the "as long as this notice
  is preserved" makes the file non-free).

Note that Makefile.in is generated by automake.  Its copyright header
points out that the copyright header cannot be removed.  If Debian would
have problems with that, then they have problems with every file
everywhere.


Torbjörn
Please encrypt, key id 0xC8601622