We don't use gtk-doc to generate our API reference, so we don't need its files lying around any more.