[Pkg-virtualbox-devel] Bug#695779: kbuild: includes non-free documentation (GFDL with unmodifiable sections)

[Jakub Wilk]

Source: kbuild
Version: 1:0.1.9998svn2543-2
Severity: serious
Justification: Policy 2.2.1
Usertags: gfdl

src/kmk/doc/* contains GNU make 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 as in (a) below.  A copy of the
| license is included in the section entitled ``GNU Free Documentation
| License.''
|
| (a) The FSF's Back-Cover Text is: ``You are free to copy and modify
| this GNU Manual. Buying copies from GNU Press supports the FSF in
| developing GNU and promoting software freedom.''

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