From eae5454288e66a08e54ade1e3ad3bb74a85ccf42 Mon Sep 17 00:00:00 2001
From: Sebastian Huber <sebastian.huber@embedded-brains.de>
Date: Fri, 11 Jan 2019 15:47:00 +0100
Subject: user: Rework Prefixes section

Rename it to "Choose an Installation Prefix".

Update #3675.
---
 user/tools/index.rst | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'user/tools/index.rst')

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
 **********
 
-- 
cgit v1.2.3