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.examples | |
| 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.examples')
| -rw-r--r-- | debian/apt.examples | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/debian/apt.examples b/debian/apt.examples new file mode 100644 index 000000000..3e15bddda --- /dev/null +++ b/debian/apt.examples @@ -0,0 +1 @@ +usr/share/doc/apt/examples/* |