Re: [PATCH 1/4] style: add missing copyright headers

Hans,

Sorry, I forgot to answer about this.

> Le 20 déc. 2020 à 18:25, Hans Åberg <[email protected]> a écrit :
> 
>> On 20 Dec 2020, at 11:15, Akim Demaille <[email protected]> wrote:
> 
>>> Le 19 déc. 2020 à 11:06, Hans Åberg <[email protected]> a écrit :
>>> 
>>> Though by the nature of examples, you may not want to add a copyright notice on them: As special cases of something more general, they may not be sufficiently creatively unique to be copyrightable, and in addition, you may want people to use them without a worry of copyrighting.
>> 
>> You have a point, but that discussion already took place and was settled down with Paul.
>> 
>> https://lists.gnu.org/archive/html/bison-patches/2020-07/msg00010.html
> 
> I can't see the discussion on your link,

Yes, it was not public.

> but the recommendation is here [1]. In general, one should put license notices just in case, so that they are not treated as though being public domain, I think.
> 
> 1. https://www.gnu.org/prep/maintain/html_node/License-Notices-for-Code-Examples.html

Here are the relevant parts of our discussion.



> Le 4 juil. 2020 à 17:54, Paul Eggert <[email protected]> a écrit :
> 
> On 7/4/20 8:07 AM, Akim Demaille wrote:
>> Bison's examples are getting larger, they are no longer smallish.  Yet they don't have the usual license comments, because I never thought about what license to give them...
>> 
>> What license would you recommend?
> 
> https://www.gnu.org/prep/maintain/html_node/License-Notices-for-Code-Examples.html
> 
> suggests using the GPL for anything longer than 40 lines. Or are you asking
> about the exact details for how to do this? I'd look to see how Emacs does it....


> Le 6 juil. 2020 à 22:15, Paul Eggert <[email protected]> a écrit :
> 
> On 7/5/20 10:08 PM, Akim Demaille wrote:
>> So you'd go with the GPL?
> 
> Yes. It's a better default, for the GNU project anyway. If someone asks for a
> different license we can revisit this later.