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/hosts | |
| parent | 24456556d65528b5d9db968bb8113d87ae8d40f5 (diff) | |
user: Rework Prefixes section
Rename it to "Choose an Installation Prefix".
Update #3675.
Diffstat (limited to 'user/hosts')
| -rw-r--r-- | user/hosts/posix.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/user/hosts/posix.rst b/user/hosts/posix.rst index 365194e..063ebe2 100644 --- a/user/hosts/posix.rst +++ b/user/hosts/posix.rst @@ -35,7 +35,7 @@ machine. If the machine is a centralised build server the prefix may be used to separate production versions from the test versions and the prefix paths may have restricted access rights to only those who manage and have configuration control of the machine. We call this project sandboxing and -:ref:`project-sandboxing` explains this in more detail. +:ref:`ProjectSandboxing` explains this in more detail. Linux ----- |