mirror of
https://gitlab.gnome.org/GNOME/glib.git
synced 2025-02-05 18:40:58 +01:00
fb2d30b9ff
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