cloog-ppl vs. cloog-isl

[Corinna Vinschen]

On Apr 20 19:39, Achim Gratz wrote:
> 
> 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.

#3 sounds good to me.  However you do it, it might be preferable to
get always the latest version of the docs.


Corinna

-- 
Corinna Vinschen                  Please, send mails regarding Cygwin to
Cygwin Maintainer                 cygwin AT cygwin DOT com
Red Hat