diff options
author | Axel Beckert <abe@deuxchevaux.org> | 2020-02-14 03:34:18 +0100 |
---|---|---|
committer | Axel Beckert <abe@deuxchevaux.org> | 2020-02-14 03:34:18 +0100 |
commit | 8f7982cd876ed26d0c820c602e405b74ab9b04fe (patch) | |
tree | d073c4127bbb377cb59e85bb89098ad7e73959e9 | |
parent | e1280df9282758ab46fbb17075859428807cb216 (diff) | |
download | zsh-8f7982cd876ed26d0c820c602e405b74ab9b04fe.tar.gz zsh-8f7982cd876ed26d0c820c602e405b74ab9b04fe.zip |
Add lintian override for zsh sub-man-pages
-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 |