diff --git a/debian/changelog b/debian/changelog index 00c9c237e..553f3791c 100644 --- a/debian/changelog +++ b/debian/changelog @@ -19,6 +19,8 @@ linux (4.19.4-1~exp1) UNRELEASED; urgency=medium * debian/rules.real: Fix build failure with pkg.linux.nosource profile * debian/source/options: Delete redundant compression setting; satisfy lintian + * Documentation/media: uapi: Explicitly say there are no Invariant Sections + (Closes: #698668) [ Karsten Merker ] * [riscv64] Build a kernel image and udebs for riscv64 (Closes: #908161) diff --git a/debian/patches/bugfix/all/documentation-media-uapi-explicitly-say-there-are-no-invariant-sections.patch b/debian/patches/bugfix/all/documentation-media-uapi-explicitly-say-there-are-no-invariant-sections.patch new file mode 100644 index 000000000..29890dff9 --- /dev/null +++ b/debian/patches/bugfix/all/documentation-media-uapi-explicitly-say-there-are-no-invariant-sections.patch @@ -0,0 +1,45 @@ +From: Ben Hutchings +Date: Fri, 23 Nov 2018 16:38:34 -0200 +Subject: Documentation/media: uapi: Explicitly say there are no Invariant Sections +Bug-Debian: https://bugs.debian.org/698668 + +The GNU Free Documentation License allows for a work to specify +Invariant Sections that are not allowed to be modified. (Debian +considers that this makes such works non-free.) + +The Linux Media Infrastructure userspace API documentation does not +specify any such sections, but it also doesn't say there are none (as +is recommended by the license text). Make it explicit that there are +none. + +References: https://bugs.debian.org/698668 +Signed-off-by: Ben Hutchings +Signed-off-by: Mauro Carvalho Chehab +Signed-off-by: Gerd Hoffmann +Signed-off-by: Hans Verkuil +Signed-off-by: Sylwester Nawrocki +Signed-off-by: Johannes Stezenbach +Signed-off-by: Ralph Metzler +Signed-off-by: Marcus Metzler +Signed-off-by: Sean Young +Signed-off-by: Michael Ira Krufky +Signed-off-by: Mauro Carvalho Chehab +--- + Documentation/media/media_uapi.rst | 6 +++--- + 1 file changed, 3 insertions(+), 3 deletions(-) + +--- a/Documentation/media/media_uapi.rst ++++ b/Documentation/media/media_uapi.rst +@@ -10,9 +10,9 @@ Linux Media Infrastructure userspace API + + Permission is granted to copy, distribute and/or modify this document + under the terms of the GNU Free Documentation License, Version 1.1 or +-any later version published by the Free Software Foundation. A copy of +-the license is included in the chapter entitled "GNU Free Documentation +-License". ++any later version published by the Free Software Foundation, with no ++Invariant Sections. A copy of the license is included in the chapter ++entitled "GNU Free Documentation License". + + .. only:: html + diff --git a/debian/patches/series b/debian/patches/series index 57872c847..846ff16eb 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -152,4 +152,7 @@ bugfix/x86/tools-turbostat-Add-checks-for-failure-of-fgets-and-.patch # wireless: Disable regulatory.db direct loading (until we sort out signing) debian/wireless-disable-regulatory.db-direct-loading.patch +# Licence clarification +bugfix/all/documentation-media-uapi-explicitly-say-there-are-no-invariant-sections.patch + # ABI maintenance