doc: Add missing arm_arch_v8a_hard_ok anchor
authorRichard Sandiford <richard.sandiford@arm.com>
Wed, 29 Apr 2020 11:06:41 +0000 (12:06 +0100)
committerRichard Sandiford <richard.sandiford@arm.com>
Wed, 29 Apr 2020 11:06:41 +0000 (12:06 +0100)
commit668d8f3c0c61905bc69a1c73f16fa4fa6273db2a
tree86f8e271cbbd6b23bf4d4d52d6a984c3a301869e
parent1d7ead9cba91533291e0048d22b711ca124e19de
doc: Add missing arm_arch_v8a_hard_ok anchor

2020-04-29  Richard Sandiford  <richard.sandiford@arm.com>

gcc/
* doc/sourcebuild.texi: Add missing arm_arch_v8a_hard_ok anchor.
gcc/ChangeLog
gcc/doc/sourcebuild.texi