[GTK] gtkdoc does not appear in DevHelp