aboutsummaryrefslogtreecommitdiff
path: root/docs/tools
diff options
context:
space:
mode:
authorAlex Bennée <alex.bennee@linaro.org>2023-01-24 18:01:11 +0000
committerAlex Bennée <alex.bennee@linaro.org>2023-02-02 10:44:23 +0000
commit9d195efd6588100f8074a1c8daf9f403ebf39740 (patch)
tree362cefd9913d7efe7f81b79e45ebe7a28bb2339e /docs/tools
parent51d11acf3163b2f09e3e3d1ab7c102c82cacc40c (diff)
docs: add hotlinks to about preface text
Make it easier to navigate the documentation. Reviewed-by: Peter Maydell <peter.maydell@linaro.org> Acked-by: Richard Henderson <richard.henderson@linaro.org> Signed-off-by: Alex Bennée <alex.bennee@linaro.org> Reviewed-by: Philippe Mathieu-Daudé <philmd@linaro.org> Message-Id: <20230124180127.1881110-20-alex.bennee@linaro.org>
Diffstat (limited to 'docs/tools')
-rw-r--r--docs/tools/index.rst2
1 files changed, 2 insertions, 0 deletions
diff --git a/docs/tools/index.rst b/docs/tools/index.rst
index 1edd5a8054..2151adcf78 100644
--- a/docs/tools/index.rst
+++ b/docs/tools/index.rst
@@ -1,3 +1,5 @@
+.. _Tools:
+
-----
Tools
-----