install.texi: Refer to ISL, not PPL.
authorRichard Biener <rguenther@suse.de>
Tue, 5 Feb 2013 09:26:06 +0000 (09:26 +0000)
committerRichard Biener <rguenth@gcc.gnu.org>
Tue, 5 Feb 2013 09:26:06 +0000 (09:26 +0000)
commit6f22445a460bce2dd3a52037e2a31c62dd2ad57c
tree403dfb62ee4d81157dac879891956926e7c037bb
parentec4224ace54a5be0094fca263fe138f0ec77a61c
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
gcc/ChangeLog
gcc/doc/install.texi