diff --git a/gcc/doc/install.texi b/gcc/doc/install.texi
index f990b74..8b77472 100644
--- a/gcc/doc/install.texi
+++ b/gcc/doc/install.texi
@@ -340,17 +340,24 @@ It can be downloaded from @uref{http://www.cs.unipr.it/ppl/Download/}.
 The @option{--with-ppl} configure option should be used if PPL is not
 installed in your default library search path.
 
-@item CLooG-PPL version 0.15
+@item CLooG-PPL version 0.15 / CLooG 0.16
 
-Necessary to build GCC with the Graphite loop optimizations.  It can
-be downloaded from @uref{ftp://gcc.gnu.org/pub/gcc/infrastructure/}.
-The code in @file{cloog-ppl-0.15.tar.gz} comes from a branch of CLooG
-available from @uref{http://repo.or.cz/w/cloog-ppl.git}.  CLooG-PPL
-should be configured with @option{--with-ppl}.
+Necessary to build GCC with the Graphite loop optimizations.  There are
+two versions available.  CLooG-PPL 0.15 as well as CLooG 0.16.  The current
+default version used is version 0.15.  It can be downloaded from
+@uref{ftp://gcc.gnu.org/pub/gcc/infrastructure/}.  The code in
+@file{cloog-ppl-0.15.tar.gz} comes from a branch of CLooG available from
+@uref{http://repo.or.cz/w/cloog-ppl.git}.  CLooG-PPL should be configured with
+@option{--with-ppl}.
 
 The @option{--with-cloog} configure option should be used if CLooG is
 not installed in your default library search path.
 
+CLooG 0.16 support is still in testing stage, but will be the default in future
+gcc releases.  It is available at
+@uref{ftp://gcc.gnu.org/pub/gcc/infrastructure/}.  To use it configure with 
+@option{--enable-cloog-backend=isl}. 
+
 @item @command{jar}, or InfoZIP (@command{zip} and @command{unzip})
 
 Necessary to build libgcj, the GCJ runtime.