[gnome-continuous] Update the config-opts for dconf
- From: Emmanuele Bassi <ebassi src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-continuous] Update the config-opts for dconf
- Date: Sat, 11 Aug 2018 22:02:17 +0000 (UTC)
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]