Re: Droit de distribuer la doc de coq

[Sven Luther <sven.luther@wanadoo.fr>]

On Fri, Jan 21, 2005 at 10:58:05AM +0100, Claudio Sacerdoti Coen wrote:
>  Dear Samuel,
> 
>  I talked with Hugo a few days back about it. It was not done yet just
>  because we do not know what is the licence that would better fit the debian
>  packagers. From the answer of Sven I am a bit confused: is the suggestion
>  of Samuel (grabbing sentences from the ocaml manual licence) OK or not to
>  have it in main?

Definitively not, since the ocaml-doc package is in non-free.

I don't know what licence you want to place the manual under, but please avoid
the GFDL, since it is in the center of a more or less un-ending flamewar
between debian and the FSF.

I would go for the same licence as you use for the source code, much easier
and logical that way. After all if you allow someone to modify your code, it
is logical to allow for the same modification rights for the documentation
relative to said code, so if someone modifies a code feature, he can modify
the corresponding documentation to this manual.

Hope this makes it clear ? 

Friendly,

Sven Luther