[gnome-continuous] Update the config-opts for dconf



commit eb68f51e0fda82bb4287cd1d58833c097147be35
Author: Emmanuele Bassi <ebassi gnome org>
Date:   Sat Aug 11 23:01:44 2018 +0100

    Update the config-opts for dconf

 manifest.json | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/manifest.json b/manifest.json
index 111a2ba..0827c0b 100644
--- a/manifest.json
+++ b/manifest.json
@@ -950,8 +950,8 @@
                {"src": "gnome:dconf.git",
                  "name": "dconf",
                 "config-opts": [
-                     "-Denable-gtk-doc=false",
-                     "-Denable-man=false"
+                     "-Dgtk_doc=false",
+                     "-Dman=false"
                  ]},
 
                {"src": "gnome:zenity.git",


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]