[patch,doc] Remove cloog ppl in the docs

2014-12-04 Thread FX 
The attached patch removes some remaining mentions of cloog and ppl in our docs.
Tested with “make info html pdf”. OK for trunk?

FX



PS: with this, the remaining mentions of cloog or ppl are comments in 
config/isl.m4, graphite.c and graphite-blocking.c. They should probably go away 
too, but they are technical so someone with cloog/isl knowledge should do it.





2014-12-04  Francois-Xavier Coudert  fxcoud...@gcc.gnu.org

* doc/install.texi: Remove mentions of cloog and ppl.
* doc/invoke.texi: Likewise



cloog.diff
Description: Binary data

Re: [patch,doc] Remove cloog ppl in the docs

2014-12-04 Thread Richard Biener 
On Thu, Dec 4, 2014 at 10:02 AM, FX fxcoud...@gmail.com wrote:
 The attached patch removes some remaining mentions of cloog and ppl in our 
 docs.
 Tested with “make info html pdf”. OK for trunk?

Ok.

Thanks,
Richard.

 FX



 PS: with this, the remaining mentions of cloog or ppl are comments in 
 config/isl.m4, graphite.c and graphite-blocking.c. They should probably go 
 away too, but they are technical so someone with cloog/isl knowledge should 
 do it.





 2014-12-04  Francois-Xavier Coudert  fxcoud...@gcc.gnu.org

 * doc/install.texi: Remove mentions of cloog and ppl.
 * doc/invoke.texi: Likewise