temporarily disable gtkdoc in webkit-gtk