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
This commit is contained in:
Matthias Clasen 2011-02-07 23:28:26 -05:00
parent 25ab13fd3c
commit fb2d30b9ff

View File

@ -1,4 +1,4 @@
<refentry id="gsettings" lang="en">
<refentry id="gsettings-tool" lang="en">
<refmeta>
<refentrytitle>gsettings</refentrytitle>