From 7b14b3d83274157eff8886cb36d277087f72d223 Mon Sep 17 00:00:00 2001 From: Karen Arutyunov Date: Fri, 21 Jul 2017 13:56:39 +0300 Subject: Fix mistake in manual --- doc/manual.cli | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- cgit v1.1