[patch] extend.texi: Replace "option" with "attribute" approp riately.

[Kazu Hirata]

Hi Gerald,

> > http://gcc.gnu.org/ml/gcc-patches/2002-01/msg01121.html
> 
> I believe as H8 maintainer you don't actually need approval for this
> patch. Port maintainership includes maintainership of documentation
> concerning this port.

Well, the patch changes more than what's applicable to the H8 port,
though.  That's why I need an approval.

> PS: I noticed you're still listed under "Write After Approval" as
> well, which is redundant for port maintainers. Perhaps you could
> remove that?

OK, I'll do so.

Thanks,

Kazu Hirata