> On 30 Oct 2019, at 23:36, David Kastrup <d...@gnu.org> wrote: > > Hans Åberg <haber...@telia.com> writes: > >>> On 30 Oct 2019, at 23:05, David Kastrup <d...@gnu.org> wrote: >>> >>> Hans Åberg <haber...@telia.com> writes: >>> >>>> The snippets should be LGPL for being includable under other licenses, >>>> I believe, because the processed part remains in the output, and thus >>>> copyrightable. Thus, they play the same role as the Bison skeleton >>>> file and GCC libraries. >>> >>> LSR snippets are public domain already. >> >> So then this is not an issue, but public domain means that it can be >> exploited in ways you may not approve of, therefore LGPL would be >> better. But I am not an expert on such matters. > > For the snippets, that is a reasonable compromise avoiding the user > having reservations and headaches. They are more intended as starting > points for your own documents than as cut&dry code.
As examples, I have also done that. So if everyone is happy with that, it is a non-issue.
