diff options
| author | Michael Biebl <biebl@debian.org> | 2022-12-07 17:25:29 +0100 |
|---|---|---|
| committer | Michael Biebl <biebl@debian.org> | 2022-12-07 17:25:29 +0100 |
| commit | bfd2ca916ff5aa53d394178c3beeb17680a0e2c5 (patch) | |
| tree | adad7f6d36ca96c6918356e6d71e6ba90a13da88 /debian/source | |
| parent | 372b62c2c25eb1f2e811f84849e9b69c40ae6245 (diff) | |
Add lintian override for source-is-missing false positive
Diffstat (limited to 'debian/source')
| -rw-r--r-- | debian/source/lintian-overrides | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/debian/source/lintian-overrides b/debian/source/lintian-overrides new file mode 100644 index 00000000..8e47ba2d --- /dev/null +++ b/debian/source/lintian-overrides @@ -0,0 +1,4 @@ +# documentation is generated by gtk-doc +# false positive, see https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1017094 +source-is-missing [docs/api/html/*.html] +source-is-missing [docs/libnm/html/*.html] |