[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: License of coq documentation

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.


Reply to: