diff options
| author | Guilhem Moulin <guilhem@debian.org> | 2022-02-27 16:56:38 +0100 |
|---|---|---|
| committer | Guilhem Moulin <guilhem@debian.org> | 2022-02-27 16:56:38 +0100 |
| commit | 60bb748ed33726eb0fed6081cf3141bfb3df30db (patch) | |
| tree | a46bcc2a5e09b371cd459d230dd5b67d29fc6459 /debian/patches/Skip-randomized-tests.patch | |
| parent | 3d11576d0f5f8eff3acce0b1dda8aa2d639217b0 (diff) | |
d/control, d/rules: Honor 'nodoc' profile.
In particular, exclude 'jq' and 'pandoc' from Build-Depends under nodoc
profile.
Diffstat (limited to 'debian/patches/Skip-randomized-tests.patch')
0 files changed, 0 insertions, 0 deletions