On 9/13/07, Mark Mitchell <[EMAIL PROTECTED]> wrote: > I wouldn't characterize my objections as terribly strong. It's > certainly nothing against distcc or ccache. But, I think these kinds of > mentions are odd to put in our documentation. The manual should say > what the options do. Referencing specific tools, which may or may not > continue to exist, etc., seems odd to me. The manual is a reference > text; this isn't reference information. > > In a tutorial, or in release notes, I have no objection.
Thanks, Mark. Update sent to gcc-patches at http://gcc.gnu.org/ml/gcc-patches/2007-09/msg01218.html. Ollie
