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/apt.install | |
| 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/apt.install')
| -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.* |