On Sat, Nov 21, 2009 at 09:03:51AM +0200, أحمد المحمودي wrote: > How about demoting geda-doc to Recommends ? That way it would be get > installed by default, but a user can opt to remove (or not even install > it). Good idea. Hamish