Didn't we change the documentation license at some point to please the Debian folks? I might have dreamt that...
I think there was a long discussion of the Debian manual licensing woes as an issue, but not sure it concluded with a license change
indeed, still open: https://github.com/coq/coq/issues/8774 -- the proposed change was to CC BY-SA 3.0, but didn't go through (yet)
Oh, it's worse than that according to the issue: the license was changed to something that turned out to be not DFSG-compatible. Mamma mia...
well, I was talking about the new change after the first change turned out to be soured
yep, yep. we should definitely do something about that though...
I generally agree with Théo though that the ideal is the same license for code and docs. But there is a whole community of people who absolutely will not accept code licenses for documentation, even if it's permissive like MIT. And then there are people like me, who don't like CC licenses at all for anything...
even CC-0 or CC-BY?
I really really don't like CC-0, mostly because it's not even clear it works in most of the world
CC-BY is probably OK legally, but then one might as well call it code and use the usual permissive code licenses that enforce attribution
In France you can't abandon your moral rights on a creation, so CC-0 has to be taken "up to the local rights" but then this apply for virtually any license. You can always create a micronation that forbids the GPL or judge that some license is incompatible with \<insert the local ideology of your place of living\>
but how do you know it will be taken "up to", and not just be declared invalid overall?
because that's the intended meaning of the license, fuck the common law and embrace Roman law
I like civil law too, but the "up to" feels like a big assumption, and then one might as well use the Unlicense which has an explicit fallback, and is also OSI approved (unlike CC-0, which was rejected)
anyway, CC-BY-SA-3.0 is at least better than the current "Open Documentation License", or whatever it's called
Last updated: Jun 05 2023 at 09:01 UTC