Change the id of the gsettings section

This tricks gtk-doc into generating a html file with a different
name, avoiding the case-only GSettings.html vs gsettings.html.
https://bugzilla.gnome.org/show_bug.cgi?id=641688

diff --git a/docs/reference/gio/gsettings.xml b/docs/reference/gio/gsettings.xml
index 6e58426..5a3bd21 100644 (file)
--- a/docs/reference/gio/gsettings.xml
+++ b/docs/reference/gio/gsettings.xml
@@ -1,4 +1,4 @@
-<refentry id="gsettings" lang="en">
+<refentry id="gsettings-tool" lang="en">
 
 <refmeta>
   <refentrytitle>gsettings</refentrytitle>