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
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
