Josselin Mouette wrote: > BTW, there is a small mistake: gnome-user-guide is in Debian. Thanks, I added it to the manual overrides (since its debian source package is named gnome2-user-docs, not gnome-user-docs). Frederic