diff options
| -rw-r--r-- | debian/changelog | 7 | ||||
| -rw-r--r-- | debian/source/lintian-overrides | 4 |
2 files changed, 11 insertions, 0 deletions
diff --git a/debian/changelog b/debian/changelog index c460bc1f673d..e47a1f0b22e0 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,10 @@ +linux (4.12.12-2) unstable; urgency=medium + + * debian/source/lintian-overrides: Override license-problem-gfdl-invariants + error triggered by a ReSTified copy of the GFDL + + -- Ben Hutchings <ben@decadent.org.uk> Mon, 11 Sep 2017 04:35:28 +0100 + linux (4.12.12-1) unstable; urgency=medium * New upstream stable update: diff --git a/debian/source/lintian-overrides b/debian/source/lintian-overrides new file mode 100644 index 000000000000..2c61b27b0cf7 --- /dev/null +++ b/debian/source/lintian-overrides @@ -0,0 +1,4 @@ +# The copyright notice in the GFDL itself, mentioning invariant +# sections, is just an example. lintian seems to whitelist the +# plain-text version but that doesn't cover this ReST version. +linux source: license-problem-gfdl-invariants Documentation/media/uapi/fdl-appendix.rst invariant part is: with the :ref:`invariant sections <fdl-invariant>` being list their titles, with the :ref:`front-cover texts <fdl-cover-texts>` being list, and with the :ref:`back-cover texts <fdl-cover-texts>` being list |