debian/rules: update configure option name

diff --git a/debian/rules b/debian/rules
index 00410fdc06d02abadf96e3153a2fb541cd0ce0dd..88c5001e8973ebb7f792e641fc5bb7d07550124e 100755 (executable)
--- 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)),)