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

diff --git a/debian/rules b/debian/rules
index 083a28ae4fcd514bf646a247e30423754d1d254b..16c777dbe28505d4b54b7973fb421f9ed3430f5a 100755 (executable)
--- 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