From a19bbf6467c22c6c8bc74dc3701bd0a693d05ee2 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Jeremy=20B=C3=ADcha?= Date: Tue, 8 Aug 2023 08:27:51 -0400 Subject: [PATCH] debian/rules: update configure option name --- debian/rules | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/debian/rules b/debian/rules index 00410fdc06..88c5001e89 100755 --- a/debian/rules +++ b/debian/rules @@ -102,9 +102,9 @@ configure_flags_deb += -Dwayland-backend=false endif ifeq ($(filter %-doc,$(built_binaries)),) -configure_flags_deb += -Dgtk_doc=false +configure_flags_deb += -Ddocumentation=false else -configure_flags_deb += -Dgtk_doc=true +configure_flags_deb += -Ddocumentation=true endif ifeq ($(filter %-examples,$(built_binaries)),) -- 2.30.2