cloog-ppl vs. cloog-isl

[Achim Gratz]

I've realized that both packages try to install
/usr/share/info/cloog.info.  Simply renaming the file doesn't work since
the directory entry will be wrong.  I could drop libcloog-ppl-doc and
only provide this via libcloog-isl-doc or I'd have to patch the texinfo
sources to change the directory entry.  A third possibility is to offer
libcloog-doc (since the info file makes no mention of the implementation
details anyway) and always have that track the latest version we deliver
for either libcloog-ppl or libcloog-isl.

Please let me know if you have a strong preference for either solution.


Regards,
Achim.
-- 
+<[Q+ Matrix-12 WAVE#46+305 Neuron microQkb Andromeda XTk Blofeld]>+

Wavetables for the Waldorf Blofeld:
http://Synth.Stromeko.net/Downloads.html#BlofeldUserWavetables