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.bug-script | |
| 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.bug-script')
0 files changed, 0 insertions, 0 deletions