[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[task #16067] Submission of Dezyne

From: Jan Nieuwenhuizen
Subject: [task #16067] Submission of Dezyne
Date: Mon, 6 Dec 2021 08:39:56 -0500 (EST)
User-agent: Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/94.0.4606.71 Safari/537.36

Follow-up Comment #16, task #16067 (project administration):


> I'm sorry; in fact, I wasn't so busy as I was puzzled.

Ah.  Well, please do not hesitate to add a comment if you have any
other puzzle or question.  We would very much appreciate to get these
last issues resolved.  As you can probably imagine, also some our
users are eagerly anticipating this free software release!

> Files like doc/examples/join.dzn should contain valid copyright and
> license notices,

Sure, they are part of the documentation; the dezyne.texi manual has

    @verbatiminclude examples/join.dzn

so, we distribute a README file in each directory (see comment #10, we
failed to distribute these earlier).

> and if they are part of documentation, their license
> should be GFDL-compatible.  I fail to explain why you missed that.

Ah, so then this was probably your puzzle?  I have done some reading
and I found that [A]GPL code cannot be included in GFDL documentation
(yet, I somehow remembered reading that this issue had long been

The READMEs for the doc/ snippets (and the
spec) have been updated to specify the GFDL for these code snippets




Reply to this item at:


  Message sent via Savannah

reply via email to

[Prev in Thread] Current Thread [Next in Thread]