extend.texi: Replace "option" with "attribute" appropriately.
authorKazu Hirata <kazu@hxi.com>
Wed, 16 Jan 2002 21:00:15 +0000 (21:00 +0000)
committerKazu Hirata <kazu@gcc.gnu.org>
Wed, 16 Jan 2002 21:00:15 +0000 (21:00 +0000)
commit88ab0d1c815b3bad950f0a8b9c7818657281f0a3
tree6f7b318176c2a7e1f8020d423fe7b501f620df3f
parent510e2832560e4d2041507ed79d2dad6975632be8
extend.texi: Replace "option" with "attribute" appropriately.

* doc/extend.texi: Replace "option" with "attribute"
appropriately.

From-SVN: r48926
gcc/ChangeLog
gcc/doc/extend.texi