webkitgtk: repair installation (gtk-doc is gone)