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

[Hans Åberg]

> On 20 Dec 2020, at 11:15, Akim Demaille <akim.demaille@gmail.com> wrote:
> 
> Hi Hans,
> 
> Long time no see!

I have to focus some difficult code to write. :-)

>> Le 19 déc. 2020 à 11:06, Hans Åberg <haberg-1@telia.com> 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, 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