[PATCH] MicroBlaze support - 1 of 6 - documentation

[Gerald Pfeifer]

On Thu, 4 Feb 2010, Michael Eager wrote:
> This is the first of six patches which adds support for the
> Xilinx MicroBlaze processor.

The contrib.texi part I would phrase a bit differently, something
like "Michael Eager for his work integrating the Xilinx MicroBlaze
port into mainline GCC."

(If you don't like that, adjust the current text to say "...his
work on the Xilinx MicroBlaze port...".)  Fine either way, when/
if the port itself gets checked in.

The install.texi part looks good, too.

Gerald