diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2016-09-06 18:33:38 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2016-09-06 18:33:38 +0200 |
commit | 12069ed3219a7331936646306aaa8e6ee02ce123 (patch) | |
tree | 61a0d3b45ac067dfff8e0c59eb981d27d9e466f0 /INSTALL.cli | |
parent | 8f8966e7e84776a7660685828979b01600a3effa (diff) |
Proofreading fixes to installation instructions
Diffstat (limited to 'INSTALL.cli')
-rw-r--r-- | INSTALL.cli | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/INSTALL.cli b/INSTALL.cli index e26fcb3..d9ec0ea 100644 --- a/INSTALL.cli +++ b/INSTALL.cli @@ -50,7 +50,7 @@ guaranteed to be able to build the toolchain.| \li|\n3. Stage\n -On this step the entire toolchain is built and staged.| +At this step the entire toolchain is built and staged.| \li|\n4. Install\n @@ -62,8 +62,8 @@ toolchain from the package repository and using the \c{bpkg} package manager.| Finally, the staged toolchain is uninstalled.|| The end result of the bootstrap process is the installed toolchain as well as -the \c{bpkg} configuration (created on step 4) that can be used to upgrade to -newer versions. You can also skip step 4 and instead install on step 3 if for +the \c{bpkg} configuration (created at step 4) that can be used to upgrade to +newer versions. You can also skip step 4 and instead install at step 3 if for some reason you prefer not to use the package manager (for example, because the machine is offline). |