[v3] Small update to the docs

[Paolo Carlini]

Hi,

committed to mainline.

Paolo.

//////////////////
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: CL_docs_update
URL: <http://gcc.gnu.org/pipermail/gcc-patches/attachments/20061014/ef0c0025/attachment.ksh>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: patch_docs_update
URL: <http://gcc.gnu.org/pipermail/gcc-patches/attachments/20061014/ef0c0025/attachment-0001.ksh>