aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKaren Arutyunov <karen@codesynthesis.com>2017-07-21 13:56:39 +0300
committerKaren Arutyunov <karen@codesynthesis.com>2017-07-21 13:56:39 +0300
commit7b14b3d83274157eff8886cb36d277087f72d223 (patch)
treec794ab62446d37716eb90152630be2d2eb04b31d
parentc326426d980378c9c1d6fd2be98a7ee55c2fd3f6 (diff)
Fix mistake in manual
-rw-r--r--doc/manual.cli2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/manual.cli b/doc/manual.cli
index 9d67377..c565278 100644
--- a/doc/manual.cli
+++ b/doc/manual.cli
@@ -683,7 +683,7 @@ and private installations:
\
linux*-gcc* linux-gcc-sys x86_64-linux-gnu config.install.root=/usr config.install.sudo=sudo
-linux*-gcc* linux-gcc-prv x86_64-linux-gnu config.install.root=/tmp/install config.cc.poptions=-I/tmp/install/include config.cc.loptions=-L/tmp/install/lib config.bin.rpath=/tmp/install/bin
+linux*-gcc* linux-gcc-prv x86_64-linux-gnu config.install.root=/tmp/install config.cc.poptions=-I/tmp/install/include config.cc.loptions=-L/tmp/install/lib config.bin.rpath=/tmp/install/lib
\
Note also that while building and run tests against the installation the