diff options
| -rw-r--r-- | debian/zsh-common.lintian-overrides | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/debian/zsh-common.lintian-overrides b/debian/zsh-common.lintian-overrides index 29ec13968..e8f951480 100644 --- a/debian/zsh-common.lintian-overrides +++ b/debian/zsh-common.lintian-overrides @@ -2,3 +2,6 @@ zsh-common: menu-command-not-in-package usr/share/menu/zsh-common:1 bin/zsh zsh-common: pkg-not-in-package-test zsh usr/share/menu/zsh-common # Clearly a false positive: zsh-common: extra-license-file usr/share/zsh/functions/Completion/BSD.zwc +# Of course they aren't their own commands, but you don't want to have +# one thousands lines man page like bash has... +zsh-common: manpage-without-executable usr/share/man/man1/zsh*.1.gz |