diff options
| author | David Kalnischkies <david@kalnischkies.de> | 2022-04-19 13:06:44 +0200 |
|---|---|---|
| committer | David Kalnischkies <david@kalnischkies.de> | 2022-05-07 10:45:44 +0200 |
| commit | cd92098caa64b7fd30cdc6b5d56bf7e9e17a449e (patch) | |
| tree | 10e772fda1e49ef65089e51f17f2a700f597eb2c /debian/apt-utils.manpages | |
| parent | 725fef5ebf45d03fea75866e9795717bf576d26a (diff) | |
Avoid building all docs in nodoc build profile
Differentiating between different types of documentation we build helps
in better expressing what needs to be done for our arch:any and arch:all
packages currently as well.
Diffstat (limited to 'debian/apt-utils.manpages')
| -rw-r--r-- | debian/apt-utils.manpages | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/debian/apt-utils.manpages b/debian/apt-utils.manpages new file mode 100644 index 000000000..c61b908ea --- /dev/null +++ b/debian/apt-utils.manpages @@ -0,0 +1,6 @@ +usr/share/man/*/*/apt-extracttemplates.* +usr/share/man/*/*/apt-ftparchive.* +usr/share/man/*/*/apt-sortpkgs.* +usr/share/man/*/apt-extracttemplates.* +usr/share/man/*/apt-ftparchive.* +usr/share/man/*/apt-sortpkgs.* |