diff options
author | Colin Watson <cjwatson@debian.org> | 2022-10-15 15:45:38 +0100 |
---|---|---|
committer | Colin Watson <cjwatson@debian.org> | 2022-10-15 15:45:38 +0100 |
commit | 3783be35c5d68a3ebf4d061ee342f358f788549b (patch) | |
tree | 1570deae4ee45cfc8bec5048b42540f59225c16b | |
parent | afa1e3c7183a97f109e12dbebdb442a1066c1716 (diff) |
Update Lintian override to current syntax
-rw-r--r-- | debian/lintian-overrides | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/lintian-overrides b/debian/lintian-overrides index b6fd8480..c597f28c 100644 --- a/debian/lintian-overrides +++ b/debian/lintian-overrides @@ -1,3 +1,3 @@ # This is a private library, so it's OK for it to contain error-reporting # utility functions that call exit. -man-db: exit-in-shared-library usr/lib/man-db/libman-*.so +man-db: exit-in-shared-library [usr/lib/man-db/libman-*.so] |