Re: License of coq documentation

[Alexander Terekhov <alexander.terekhov@gmail.com>]

On 12/20/05, Lionel Elie Mamane <lionel@mamane.lu> wrote:
[...]
> The tarball compiler (I mean the person that put all the files
> together in a consistent collection) can assert a "compilation
> copyright" (that is a copyright over the whole tarball because of his
> work in putting it together). The license over this compilation can be
> the GPL, and then you have to obey the GPL on everything you take out
> of the tarball.

Nonsense. Copyright on a compilation doesn't extend to constituents. It's
the creative selection and arrangement of constituent works what it covers.

regards,
alexander.