Change the settings using the Configuration Editor. GNOME Documentation Project gnome-doc-list@gnome.org