Re: License of coq documentation
On 12/20/05, Lionel Elie Mamane <email@example.com> 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.