[PATCH] New port for TILEPro and TILE-Gx: 7/7 wwwdocs changes

[Walter Lee]

Here are the wwwdocs changes, with the news date TBD.

-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: wwwdocs.diff
URL: <http://gcc.gnu.org/pipermail/gcc-patches/attachments/20111015/573237fb/attachment.ksh>