Bug#695718: ecl: includes non-free documentation (GFDL with unmodifiable sections)

[jwilk@debian.org (Jakub Wilk)]

Source: ecl
Version: 11.1.1-4
Severity: serious
Justification: Policy 2.2.1
Usertags: gfdl

src/gmp/doc/gmp.texi contains the GNU MP library documentation, with the 
following license:

Permission is granted to copy, distribute and/or modify this document 
under the terms of the GNU Free Documentation License, Version 1.2 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''.


As per GR 2006-001, works licensed under GFDL with unmodifiable sections 
are not suitable for main:
http://www.debian.org/vote/2006/vote_001

-- 
Jakub Wilk