diff options
Diffstat (limited to 'debian/source/lintian-overrides')
| -rw-r--r-- | debian/source/lintian-overrides | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/debian/source/lintian-overrides b/debian/source/lintian-overrides new file mode 100644 index 0000000..c8b93e0 --- /dev/null +++ b/debian/source/lintian-overrides @@ -0,0 +1,6 @@ +# Only used as fallback with dpkg-dev < 1.18.8. debhelper 10 requires +# dpkg-dev (>= 1.18.2~), so we still need this. +gnutls28 source: debian-rules-parses-dpkg-parsechangelog +# False positives. Built by makeinfo --html +gnutls28 source: source-is-missing [doc/gnutls-guile.html] +gnutls28 source: source-is-missing [doc/gnutls.html] |