diff options
| author | Julian Andres Klode <jak@debian.org> | 2017-09-01 13:04:57 +0200 |
|---|---|---|
| committer | Julian Andres Klode <jak@debian.org> | 2017-09-01 13:08:35 +0200 |
| commit | 90bfc5b057d3f9136ffe34089b6e56d59593797c (patch) | |
| tree | 8ce7d7ebb4049876e4038b22ba4f7fddbee6b2df /debian/apt.install | |
| parent | d885930f62756e4ca8ad9a80be2ffebe68ac3e97 (diff) | |
Actually install apt_auth.conf manual page
Seems we forgot to update the packaging when adding the manual
page. Once we have translations for it, we need to add them
as well...
Closes: #873934
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 2c2187849..d30f429b0 100644 --- a/debian/apt.install +++ b/debian/apt.install @@ -36,6 +36,7 @@ usr/share/man/*/apt-key.* usr/share/man/*/apt-mark.* usr/share/man/*/apt-secure.* usr/share/man/*/apt.* +usr/share/man/*/apt_auth.* usr/share/man/*/apt_preferences.* usr/share/man/*/sources.list.* var/ |