[v3] Small tweaks to the docs of the last commit

[Paolo Carlini]

Hi,

committed to mainline.

Paolo.

////////////////
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: CL_config_m3.txt
URL: <http://gcc.gnu.org/pipermail/gcc-patches/attachments/20080824/c46b3668/attachment.txt>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: patch_config_m3.txt
URL: <http://gcc.gnu.org/pipermail/gcc-patches/attachments/20080824/c46b3668/attachment-0001.txt>