From 94880dbc0dbcf329cbf2c97114f9d3da6f89351a Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Guido=20G=C3=BCnther?= Date: Tue, 6 Dec 2022 11:48:16 +0100 Subject: [PATCH] d/rules: Support nodoc build profile --- debian/rules | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/debian/rules b/debian/rules index f11836d..f9fc8a8 100755 --- a/debian/rules +++ b/debian/rules @@ -2,11 +2,15 @@ export DEB_BUILD_MAINT_OPTIONS = hardening=+all +ifeq (,$(filter nocheck,$(DEB_BUILD_PROFILES))) +CONFIGURE_OPTS = -Dgtk_doc=true -Dman=true +endif + %: dh $@ --builddirectory=_build override_dh_auto_configure: - dh_auto_configure -- -Dgtk_doc=true -Dman=true + dh_auto_configure -- $(CONFIGURE_OPTS) override_dh_installudev: # Make sure all the symlink rules in 60 ran: