diff options
Diffstat (limited to 'gas/doc/c-arm.texi')
| -rw-r--r-- | gas/doc/c-arm.texi | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/gas/doc/c-arm.texi b/gas/doc/c-arm.texi index fd7417983b..ad7c93e54f 100644 --- a/gas/doc/c-arm.texi +++ b/gas/doc/c-arm.texi @@ -155,9 +155,9 @@ names are recognized: @code{armv6z}, @code{armv6zk}, @code{armv7}, -@code{armv7a}, -@code{armv7r}, -@code{armv7m}, +@code{armv7-a}, +@code{armv7-r}, +@code{armv7-m}, @code{iwmmxt} and @code{xscale}. |