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/rules | |
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/rules')
-rwxr-xr-x | debian/rules | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/debian/rules b/debian/rules index b4b5d0b..464067d 100755 --- a/debian/rules +++ b/debian/rules @@ -5,6 +5,11 @@ MAKEFLAGS = prefix=/usr sitelib=/usr/share/perl5 %: dh $@ +ifneq (,$(findstring nodoc,$(DEB_BUILD_OPTIONS))) +override_dh_auto_build: + dh_auto_build -- all-nodoc +endif + override_dh_auto_test: # /dev/shm, the default, might be mounted with noexec dh_auto_test -- TMPDIR=/var/tmp |