install.texi: Refer to ISL, not PPL.

2013-02-05  Richard Biener  <rguenther@suse.de>

	* doc/install.texi: Refer to ISL, not PPL.

From-SVN: r195752

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 8c480bb..4150bb8 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,7 @@
+2013-02-05  Richard Biener  <rguenther@suse.de>
+
+       * doc/install.texi: Refer to ISL, not PPL.
+
 2013-02-05  Jan Hubicka  <jh@suse.cz>
 
        PR tree-optimization/55789

diff --git a/gcc/doc/install.texi b/gcc/doc/install.texi
index 92bfc8b..1265129 100644 (file)
--- a/gcc/doc/install.texi
+++ b/gcc/doc/install.texi
@@ -1619,9 +1619,9 @@ variable (@env{LD_LIBRARY_PATH} on GNU/Linux and Solaris systems).
 These flags are applicable to the host platform only.  When building
 a cross compiler, they will not be used to configure target libraries.
 
-@item --with-ppl=@var{pathname}
-@itemx --with-ppl-include=@var{pathname}
-@itemx --with-ppl-lib=@var{pathname}
+@item --with-isl=@var{pathname}
+@itemx --with-isl-include=@var{pathname}
+@itemx --with-isl-lib=@var{pathname}
 @itemx --with-cloog=@var{pathname}
 @itemx --with-cloog-include=@var{pathname}
 @itemx --with-cloog-lib=@var{pathname}