From e0d59280b1cba10f7dc8cc89edf163a588c9b7bc Mon Sep 17 00:00:00 2001 From: Wlodek Wencel Date: Tue, 24 Oct 2017 16:34:05 +0200 Subject: [PATCH] [trac5326] boost lib name changed --- doc/guide/install.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/guide/install.xml b/doc/guide/install.xml index 6493792b0f..a3f8c33e97 100644 --- a/doc/guide/install.xml +++ b/doc/guide/install.xml @@ -112,7 +112,7 @@ on the system: - Boost build-time headers + Boost C++ Libraries (). The oldest Boost version used for testing is 1.57 (it may work with older versions). Boost system library is required. Building boost -- 2.47.2