Index: gnome/platform/dconf.xml
===================================================================
--- gnome/platform/dconf.xml (revision 914a41c228097c65f1ce6a2e9a9b28464ac7c798)
+++ gnome/platform/dconf.xml (revision 7e16b7abf590b2e859faf69e8365bb2c8af2e611)
@@ -8,6 +8,6 @@
-
-
+
+
@@ -125,4 +125,13 @@
+
+
+
+ Required patch for dconf-editor:
+
+
+
+
+
DConf Dependencies
@@ -192,4 +201,6 @@
cd dconf-editor-&dconf-editor-version; &&
+patch -p1 -i ../../dconf-editor-&dconf-editor-version;-vala_fix-1.patch &&
+
mkdir build &&
cd build &&
@@ -210,5 +221,5 @@
- : Use this parameter if
+ : Use this parameter if
GTK-Doc is installed and you wish to rebuild
and install the API documentation.