From 7b0145f83635a5376345048db2374160094985d7 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Rapha=C3=ABl=20Hertzog?= Date: Wed, 6 Jan 2021 16:09:12 +0100 Subject: [PATCH] Add a supplementary lintian override --- debian/kali-themes-common.lintian-overrides | 2 ++ 1 file changed, 2 insertions(+) diff --git a/debian/kali-themes-common.lintian-overrides b/debian/kali-themes-common.lintian-overrides index 249bffc5..92a37096 100644 --- a/debian/kali-themes-common.lintian-overrides +++ b/debian/kali-themes-common.lintian-overrides @@ -5,3 +5,5 @@ desktop-command-not-in-package usr/share/applications/xfce-text-editor.desktop m # Xfce favorite section under a generic name that we control ("Text # Editor" instead of "Mousepad") desktop-entry-lacks-keywords-entry usr/share/applications/xfce-text-editor.desktop +# This is not documentation +package-contains-documentation-outside-usr-share-doc usr/share/grub/themes/kali/theme.txt