On Sunday 10 July 2005 20:14, Gabriel Dos Reis wrote: > The issue is not complaining that people do useful things. Rather, > whether the updated and and more useful documentation of GCC shall be > moved outside GCC main docuementation sources.
This is just a matter of where a contributor wants to add it. If you think it should be moved else where, move it elsewhere. Gr. Steven