diff options
author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2019-01-11 15:47:00 +0100 |
---|---|---|
committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2019-02-18 13:50:31 +0100 |
commit | eae5454288e66a08e54ade1e3ad3bb74a85ccf42 (patch) | |
tree | 1eed04d2d548d41d945c60dec3a41891a29353c3 /user/tools | |
parent | user: Fix references to prefixes section (diff) | |
download | rtems-docs-eae5454288e66a08e54ade1e3ad3bb74a85ccf42.tar.bz2 |
user: Rework Prefixes section
Rename it to "Choose an Installation Prefix".
Update #3675.
Diffstat (limited to 'user/tools')
-rw-r--r-- | user/tools/index.rst | 2 |
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 ********** |