diff options
Diffstat (limited to 'content/docs/user_guide/install.md')
| -rw-r--r-- | content/docs/user_guide/install.md | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/content/docs/user_guide/install.md b/content/docs/user_guide/install.md index d1bf79dd5..f25bc0d73 100644 --- a/content/docs/user_guide/install.md +++ b/content/docs/user_guide/install.md @@ -102,9 +102,9 @@ Based on the release type, you will need to substitute `${DIST}` below, using one of: * `master`: For HEAD. -* `nightly: For nightly releases. -* `release: For the latest release. -* `${yyyymmdd}: For a specific releases (see above). +* `nightly`: For nightly releases. +* `release`: For the latest release. +* `${yyyymmdd}`: For a specific releases (see above). The repository for the release you wish to install should be added: |