mirror of
https://gitlab.gnome.org/GNOME/glib.git
synced 2025-02-06 02:51:00 +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