I 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).
Mistaken on this, I looked at stable. Fixed now.
Frederic
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
