diff options
author | Julian Andres Klode <julian.klode@canonical.com> | 2019-08-15 11:19:20 +0200 |
---|---|---|
committer | Julian Andres Klode <julian.klode@canonical.com> | 2019-08-15 20:21:31 +0200 |
commit | 7e22425c2cf937fd45160c6bbbda9210ea5d52ba (patch) | |
tree | 18d5275194e432a96968357d54aeb545a715740a /debian | |
parent | 690ff4c3e44e7063ebde2557b7c0087ab720b894 (diff) |
doc: Add apt-patterns(7) manual page
This does not describe much yet, as there's not much to talk
about.
Diffstat (limited to 'debian')
-rw-r--r-- | debian/apt.install | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/debian/apt.install b/debian/apt.install index f12eb240d..f745b3de5 100644 --- a/debian/apt.install +++ b/debian/apt.install @@ -37,6 +37,7 @@ usr/share/man/*/apt-get.* usr/share/man/*/apt-key.* usr/share/man/*/apt-mark.* usr/share/man/*/apt-secure.* +usr/share/man/*/apt-patterns.* usr/share/man/*/apt-transport-http.* usr/share/man/*/apt-transport-https.* usr/share/man/*/apt-transport-mirror.* |