diff --git a/Installation/doc_tex/Installation/installation.tex b/Installation/doc_tex/Installation/installation.tex
index 12e4467f145..8a8bd08cfbd 100644
--- a/Installation/doc_tex/Installation/installation.tex
+++ b/Installation/doc_tex/Installation/installation.tex
@@ -555,11 +555,11 @@ This is not an issue for solution/project files, as there the user selects the b
 
 \subsection{Static vs.\ Dynamic Libraries }
 
-Under Windows we only support  the static versions of the \cgal\ libraries.On other platforms
-the shared version ({\tt .so}) are build by default.
-You can choose to produce static libraries instead by setting the \cmake\ variable {\tt BUILD\_SHARED\_LIBS=FALSE} 
-
-These setting affect the variants of third-party libraries selected whenever the choice is available.
+Shared libraries ({\tt .dll} on Windows, {\tt .so} on Linux, {\tt .dylib}
+on MacOS) are build by default.  You can choose to produce static libraries
+instead by setting the \cmake\ variable 
+{\tt CGAL\_BUILD\_SHARED\_LIBS=FALSE}.  If you use \texttt{cmake-gui}, that
+variable appears as a checkable option in the graphical interface.
 
 \subsection{Multiple Variants of makefiles}\label{sec:cmake-out-of-source}