From: Simon McVittie <smcv@debian.org>
Date: Sun, 2 Jan 2022 15:21:16 +0000 (+0000)
Subject: d/rules: Don't build man pages under nodoc build-profile
X-Git-Tag: archive/raspbian/4.6.5+ds-1+rpi1~1^2~86
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=d285fed3a41ad14e6e0174baf9597df6cb2c468a;p=gtk4.git

d/rules: Don't build man pages under nodoc build-profile
---

diff --git a/debian/rules b/debian/rules
index 083a28ae4f..16c777dbe2 100755
--- a/debian/rules
+++ b/debian/rules
@@ -80,7 +80,6 @@ configure_flags_common = \
 configure_flags_deb = \
 	-Dauto_features=enabled \
 	-Dbroadway-backend=false \
-	-Dman-pages=true \
 	-Dx11-backend=true \
 	${NULL}
 
@@ -90,6 +89,12 @@ else
 configure_flags_deb += -Dcolord=disabled
 endif
 
+ifeq (,$(filter nodoc,$(DEB_BUILD_PROFILES)))
+configure_flags_deb += -Dman-pages=true
+else
+configure_flags_deb += -Dman-pages=false
+endif
+
 ifeq (linux,$(DEB_HOST_ARCH_OS))
 configure_flags_deb += -Dsysprof=enabled
 configure_flags_deb += -Dwayland-backend=true