aboutsummaryrefslogtreecommitdiff
path: root/INSTALL.cli
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2016-09-06 18:33:38 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2016-09-06 18:33:38 +0200
commit12069ed3219a7331936646306aaa8e6ee02ce123 (patch)
tree61a0d3b45ac067dfff8e0c59eb981d27d9e466f0 /INSTALL.cli
parent8f8966e7e84776a7660685828979b01600a3effa (diff)
Proofreading fixes to installation instructions
Diffstat (limited to 'INSTALL.cli')
-rw-r--r--INSTALL.cli6
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).