diff options
| author | Michael Biebl <biebl@debian.org> | 2024-12-25 20:58:45 +0100 |
|---|---|---|
| committer | Michael Biebl <biebl@debian.org> | 2024-12-25 20:58:45 +0100 |
| commit | 74a4d10e7f12f894ea91c74efc83fac82a60eb85 (patch) | |
| tree | 8b3bb803e4e283cf3024b4aed861d9cf1a41c5c2 /debian/source | |
| parent | 1f34bb4a4a94905b9d01cefcf79e3897b7b4b8ca (diff) | |
Drop now unused lintian override for source-is-missing
As we no longer use a tarball with pre-generated documentation, this (false) lintian warning no longer triggers.
Diffstat (limited to 'debian/source')
| -rw-r--r-- | debian/source/lintian-overrides | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/debian/source/lintian-overrides b/debian/source/lintian-overrides deleted file mode 100644 index 8e47ba2d..00000000 --- a/debian/source/lintian-overrides +++ /dev/null @@ -1,4 +0,0 @@ -# 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] |