summaryrefslogtreecommitdiffstats
path: root/user/tools/index.rst
diff options
context:
space:
mode:
authorSebastian Huber <sebastian.huber@embedded-brains.de>2019-01-11 15:47:00 +0100
committerSebastian Huber <sebastian.huber@embedded-brains.de>2019-02-18 13:50:31 +0100
commiteae5454288e66a08e54ade1e3ad3bb74a85ccf42 (patch)
tree1eed04d2d548d41d945c60dec3a41891a29353c3 /user/tools/index.rst
parent24456556d65528b5d9db968bb8113d87ae8d40f5 (diff)
downloadrtems-docs-eae5454288e66a08e54ade1e3ad3bb74a85ccf42.tar.bz2
user: Rework Prefixes section
Rename it to "Choose an Installation Prefix". Update #3675.
Diffstat (limited to 'user/tools/index.rst')
-rw-r--r--user/tools/index.rst2
1 files changed, 2 insertions, 0 deletions
diff --git a/user/tools/index.rst b/user/tools/index.rst
index de29ce6..98cebc4 100644
--- a/user/tools/index.rst
+++ b/user/tools/index.rst
@@ -2,6 +2,8 @@
.. Copyright (C) 2017 Chris Johns <chrisj@rtems.org>
+.. _HostTools:
+
Host Tools
**********