Bug#695695: gcj-4.7: includes non-free documentation (GFDL with invariant sections)

[Jakub Wilk <jwilk@debian.org>]

Source: gcj-4.7
Version: 4.7.2-2
Severity: serious
Justification: Policy 2.2.1
Usertags: gfdl

The gcc-linaro-doc patch includes the file src/gcc/doc/invoke.texi.orig 
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.3 or
| any later version published by the Free Software Foundation; with the
| Invariant Sections being ``GNU General Public License'' and ``Funding
| Free Software'', the Front-Cover texts being (a) (see below), and with
| the Back-Cover Texts being (b) (see below).  A copy of the license is
| included in the gfdl(7) man page.
|
| (a) The FSF's Front-Cover Text is:
|
|      A GNU Manual
|
| (b) The FSF's Back-Cover Text is:
|
|      You have freedom to copy and modify this GNU Manual, like GNU
|      software.  Copies published by the Free Software Foundation raise
|      funds for GNU development.

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