d/rules: Fix nodoc build profile usage

We were checking for the wrong option
2022-12-15 10:11:05 +00:00
parent 2514b50b32
commit f2d02050d1
1 changed files with 2 additions and 2 deletions
@@ -2,8 +2,8 @@

 export DEB_BUILD_MAINT_OPTIONS = hardening=+all

-ifeq (,$(filter nocheck,$(DEB_BUILD_PROFILES)))
-CONFIGURE_OPTS = -Dgtk_doc=true -Dman=true
+ifeq (,$(filter nodoc,$(DEB_BUILD_PROFILES)))
+  CONFIGURE_OPTS = -Dgtk_doc=true -Dman=true
 endif

 %: