diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2022-05-06 10:41:18 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2022-05-06 10:41:18 +0200 |
commit | 6c5cc813b3ff2bf0295a62f9632e4b0034bbb8fb (patch) | |
tree | de697770456d745e037a795841625a619bb6ea91 | |
parent | ac127b132a7a5f356e3a9b7bf7c3b74f9469bf6e (diff) |
Minor terminology fix in documentation
-rw-r--r-- | INSTALL.cli | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/INSTALL.cli b/INSTALL.cli index dd29c17..9d20757 100644 --- a/INSTALL.cli +++ b/INSTALL.cli @@ -89,7 +89,7 @@ $ mv build2/b build2/b-boot $ build2/b-boot --version \ -Or, alternatively, for an out of tree build: +Or, alternatively, for an out of source build: \ $ build2-boot/build2/b-boot config.cxx=g++ config.bin.lib=static \ @@ -150,7 +150,7 @@ $ b uninstall $ which b \ -Or, alternatively, for an out of tree build: +Or, alternatively, for an out of source build: \ $ build2-static/build2/b configure: build2-X.Y.Z/@build2-shared/ \ |