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/installation | |
| 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/installation')
| -rw-r--r-- | user/installation/project-sandboxing.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/user/installation/project-sandboxing.rst b/user/installation/project-sandboxing.rst index 6c90926..248a136 100644 --- a/user/installation/project-sandboxing.rst +++ b/user/installation/project-sandboxing.rst @@ -2,7 +2,7 @@ .. Copyright (C) 2016 Chris Johns <chrisj@rtems.org> -.. _project-sandboxing: +.. _ProjectSandboxing: Project Sandboxing ------------------ |