doc: remove unreferenced anchors
commit1f7d58daeef9d695529af0cc41c52095c8936c80
authorAntonio Borneo <borneo.antonio@gmail.com>
Mon, 17 Oct 2022 10:19:18 +0000 (17 12:19 +0200)
committerAntonio Borneo <borneo.antonio@gmail.com>
Fri, 21 Oct 2022 18:07:49 +0000 (21 18:07 +0000)
treebf9fce55b9d19fc5a5ed3c0e21c2919547f12459
parent28ad1a14546ef6eb4a77c11a977d785e50e1f51a
doc: remove unreferenced anchors

Remove the @anchor{} tags that are not referenced in the
documentation.

Change-Id: Ia8e9f75afb08e08ef99d0c8fd82115d689e4a267
Signed-off-by: Antonio Borneo <borneo.antonio@gmail.com>
Reviewed-on: https://review.openocd.org/c/openocd/+/7270
Tested-by: jenkins
doc/openocd.texi