diff options
| -rw-r--r-- | debian/progress-linux-pgp-keys.lintian-overrides | 1 | ||||
| -rw-r--r-- | debian/progress-linux-ssh-keys.lintian-overrides | 1 | ||||
| -rw-r--r-- | debian/progress-linux.lintian-overrides | 2 |
3 files changed, 3 insertions, 1 deletions
diff --git a/debian/progress-linux-pgp-keys.lintian-overrides b/debian/progress-linux-pgp-keys.lintian-overrides new file mode 100644 index 0000000..206cbe0 --- /dev/null +++ b/debian/progress-linux-pgp-keys.lintian-overrides @@ -0,0 +1 @@ +progress-linux-pgp-keys: description-is-pkg-name Progress Linux PGP Keys diff --git a/debian/progress-linux-ssh-keys.lintian-overrides b/debian/progress-linux-ssh-keys.lintian-overrides new file mode 100644 index 0000000..1b8e058 --- /dev/null +++ b/debian/progress-linux-ssh-keys.lintian-overrides @@ -0,0 +1 @@ +progress-linux-ssh-keys: description-is-pkg-name Progress Linux SSH Keys diff --git a/debian/progress-linux.lintian-overrides b/debian/progress-linux.lintian-overrides index c0a0b4e..3bac995 100644 --- a/debian/progress-linux.lintian-overrides +++ b/debian/progress-linux.lintian-overrides @@ -1 +1 @@ -progress-linux: empty-binary-package +progress-linux: manpage-has-bad-whatis-entry usr/share/man/man7/progress-linux.7.gz |