[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

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