webkit-gtk: disable generating html via gtk-doc.