@@ -524,6 +524,7 @@ the executables named @command{cantlr}, @command{runantlr} or
-GCC is distributed via @uref{http://gcc.gnu.org/svn.html,,SVN} and FTP
-tarballs compressed with @command{gzip} or
-@command{bzip2}. It is possible to download a full distribution or specific
-components.
+GCC is distributed via @uref{http://gcc.gnu.org/svn.html,,SVN},
+@uref{http://gcc.gnu.org/wiki/GitMirror,,GIT}, and on
+@uref{http://gcc.gnu.org/mirrors.html,,FTP} as tarballs compressed with
+@command{gzip} or @command{bzip2}. It is possible to download a full
+distribution or specific components.
@@ -555,7 +556,8 @@ components of the binutils you intend to build alongside the compiler
-Likewise the GMP, MPFR and MPC libraries can be automatically built
-together with GCC. Unpack the GMP, MPFR and/or MPC source
-distributions in the directory containing the GCC sources and rename
-their directories to @file{gmp}, @file{mpfr} and @file{mpc},
-respectively (or use symbolic links with the same name).
+Likewise the GMP, MPFR and MPC libraries and the optional CLOOG and ISL
+libraries can be automatically built together with GCC. Unpack the GMP,
+MPFR, MPC, CLOOG and/or ISL source distributions in the directory
+containing the GCC sources and rename their directories to @file{gmp},
+@file{mpfr}, @file{mpc}, @file{cloog} and @file{isl}, respectively (or
+use symbolic links with the same name).