On Fri, Mar 14, 2008 at 09:28:59AM +0100, Stefano Sabatini wrote: > BTW, I would also like to know if there is a central repository where > we final users may add documentation, I wonder if the wiki may be used > for this purpose. Sure. -- Daniel Jacobowitz CodeSourcery