===================================================================
@@ -333,32 +333,35 @@ newer versions, though.
@table @asis
@item GNU Multiple Precision Library (GMP) version 4.3.2 (or later)
-Necessary to build GCC@. If you do not have it installed in your
+Necessary to build GCC@. If a GMP source distribution is found in a
+subdirectory of your GCC sources named @file{gmp}, it will be built
+together with GCC, this avoids the need to build GMP separately.
+Alternatively, if GMP is already installed but it is not in your
library search path, you will have to configure with the
@option{--with-gmp} configure option. See also @option{--with-gmp-lib}
-and @option{--with-gmp-include}. Alternatively, if a GMP source
-distribution is found in a subdirectory of your GCC sources named
-@file{gmp}, it will be built together with GCC@.
+and @option{--with-gmp-include}.
@item MPFR Library version 2.4.2 (or later)
Necessary to build GCC@. It can be downloaded from
-@uref{http://www.mpfr.org/}. The @option{--with-mpfr} configure
-option should be used if your MPFR Library is not installed in your
-default library search path. See also @option{--with-mpfr-lib} and
-@option{--with-mpfr-include}. Alternatively, if a MPFR source
-distribution is found in a subdirectory of your GCC sources named
-@file{mpfr}, it will be built together with GCC@.
+@uref{http://www.mpfr.org/}. If an MPFR source distribution is found
+in a subdirectory of your GCC sources named @file{mpfr}, it will be
+built together with GCC, this avoids the need to build MPFR separately.
+Alternatively, if MPFR is already installed but it is not in your
+default library search path, the @option{--with-mpfr} configure
+option should be used. See also @option{--with-mpfr-lib} and
+@option{--with-mpfr-include}.
@item MPC Library version 0.8.1 (or later)
Necessary to build GCC@. It can be downloaded from
-@uref{http://www.multiprecision.org/}. The @option{--with-mpc}
-configure option should be used if your MPC Library is not installed
-in your default library search path. See also @option{--with-mpc-lib}
-and @option{--with-mpc-include}. Alternatively, if an MPC source
-distribution is found in a subdirectory of your GCC sources named
-@file{mpc}, it will be built together with GCC@.
+@uref{http://www.multiprecision.org/}. If an MPC source distribution
+is found in a subdirectory of your GCC sources named @file{mpc}, it
+will be built together with GCC, this avoids the need to build MPC
+separately. Alternatively, if MPC is already installed but it is
+not in your default library search path, the @option{--with-mpc}
+configure option should be used. See also @option{--with-mpc-lib}
+and @option{--with-mpc-include}.
@item Parma Polyhedra Library (PPL) version 0.11