Re: Droit de distribuer la doc de coq
After all if you allow someone to modify your code, it is logical to allow for the same modification rights for the documentation Hope this makes it clear ? Yes, it does. Thanks. -- Real name: Claudio Sacerdoti Coen Doctor in Computer Science, University of Bologna E-mail: [EMAIL PROTECTED] http://www.cs.unibo.it/~sacerdot -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]
Re: Droit de distribuer la doc de coq
On Fri, Jan 21, 2005 at 07:07:19AM +0100, Christian Perrier wrote: Quoting Samuel Mimram ([EMAIL PROTECTED]): De plus, le package ira dans la section non-free de Debian, sauf si vous choisissez une licence libre pour cette doc (la licence ci-dessus ne l'est pas). Maybe explaining to the people you're talking to why this licence is not considered DFSG-compliant would help them. I would maybe help some people here as well..:-) * Any translation or derivative work of the Objective Caml documentation and user's manual must be approved by the authors in writing before distribution. This is clearly non-free, since it doesn't allow modification without extra work. As far as i remember, this is the only issue. Friendly, Sven Luther -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]
Re: Droit de distribuer la doc de coq
Dear Samuel, I talked with Hugo a few days back about it. It was not done yet just because we do not know what is the licence that would better fit the debian packagers. From the answer of Sven I am a bit confused: is the suggestion of Samuel (grabbing sentences from the ocaml manual licence) OK or not to have it in main? Cheers, C.S.C. -- Real name: Claudio Sacerdoti Coen Doctor in Computer Science, University of Bologna E-mail: [EMAIL PROTECTED] http://www.cs.unibo.it/~sacerdot -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]
Re: Droit de distribuer la doc de coq
On Fri, Jan 21, 2005 at 10:58:05AM +0100, Claudio Sacerdoti Coen wrote: I talked with Hugo a few days back about it. It was not done yet just because we do not know what is the licence that would better fit the debian packagers. From the answer of Sven I am a bit confused: is the suggestion of Samuel (grabbing sentences from the ocaml manual licence) OK or not to have it in main? No, it is not. In order to be in main the license should also permit modification of the doc. GFDL is ok, but only for the next release, so I suggest not to use it. The best choice is definitely plain GPL or similar statement. Cheers. -- Stefano Zacchiroli -*- Computer Science PhD student @ Uny Bologna, Italy [EMAIL PROTECTED],debian.org,bononia.it} -%- http://www.bononia.it/zack/ If there's any real truth it's that the entire multidimensional infinity of the Universe is almost certainly being run by a bunch of maniacs. -!- signature.asc Description: Digital signature
Re: Droit de distribuer la doc de coq
Stefano Zacchiroli wrote: On Fri, Jan 21, 2005 at 10:58:05AM +0100, Claudio Sacerdoti Coen wrote: I talked with Hugo a few days back about it. It was not done yet just because we do not know what is the licence that would better fit the debian packagers. From the answer of Sven I am a bit confused: is the suggestion of Samuel (grabbing sentences from the ocaml manual licence) OK or not to have it in main? No, it is not. In order to be in main the license should also permit modification of the doc. Yes, sorry for the confusion. I gave the example of the OCaml manual's license because it looked like the easiest solution because you wouldn't have to change anything (i.e. distribute the sources, allow modifications, etc.) to the current way the doc is distributed. But it would *not* be free (and thus would have to go in non-free). Clearly if you're willing to put the documentation under a free licence (GPL or BSD for example), it would be the best. GFDL is ok, but only for the next release, so I suggest not to use it. Ah? I thought the consensus was more like GFDL is not acceptable for Debian, maily because of the reasons explained in [1] but I might have missed something. Regards, Samuel. [1] http://people.debian.org/%7Esrivasta/Position_Statement.xhtml -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]
Re: Droit de distribuer la doc de coq
Samuel Mimram wrote: GFDL is ok, but only for the next release, so I suggest not to use it. Ah? I thought the consensus was more like GFDL is not acceptable for Debian, maily because of the reasons explained in [1] but I might have missed something. Oops sorry, I read from the next release. Sam. -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]
Re: Droit de distribuer la doc de coq
On Fri, Jan 21, 2005 at 10:58:05AM +0100, Claudio Sacerdoti Coen wrote: Dear Samuel, I talked with Hugo a few days back about it. It was not done yet just because we do not know what is the licence that would better fit the debian packagers. From the answer of Sven I am a bit confused: is the suggestion of Samuel (grabbing sentences from the ocaml manual licence) OK or not to have it in main? Definitively not, since the ocaml-doc package is in non-free. I don't know what licence you want to place the manual under, but please avoid the GFDL, since it is in the center of a more or less un-ending flamewar between debian and the FSF. I would go for the same licence as you use for the source code, much easier and logical that way. After all if you allow someone to modify your code, it is logical to allow for the same modification rights for the documentation relative to said code, so if someone modifies a code feature, he can modify the corresponding documentation to this manual. Hope this makes it clear ? Friendly, Sven Luther -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]
Re: Droit de distribuer la doc de coq
On Fri, Jan 21, 2005 at 12:27:52PM +0100, Stefano Zacchiroli wrote: On Fri, Jan 21, 2005 at 10:58:05AM +0100, Claudio Sacerdoti Coen wrote: I talked with Hugo a few days back about it. It was not done yet just because we do not know what is the licence that would better fit the debian packagers. From the answer of Sven I am a bit confused: is the suggestion of Samuel (grabbing sentences from the ocaml manual licence) OK or not to have it in main? No, it is not. In order to be in main the license should also permit modification of the doc. GFDL is ok, but only for the next release, so I suggest not to use it. ARGH, NO, PLEASE NOT GFDL. GFDL is currently only tolerated, but will probably be quicked out of sarge+1 if the FSF doesn't see the light or whatever. The best choice is definitely plain GPL or similar statement. The best choice is a licence similar to the source code which it documents :) Friendly, Sven Luther -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]
Droit de distribuer la doc de coq
Bonjour, La doc de coq (tutoriel, ref man, lib et faq) est packagée depuis un certain temps dans Debian mais je me suis aperçu récemment qu'il n'est nulle part précisé que nous avons le droit de redistribuer ces fichiers. J'imagine que cela ne vous pose pas de problème mais quelque chose de plus formel serait souhaitable. Vous serait-il possible d'ajouter une note à ce sujet sur le site web, ou bien mieux, dans les documents eux-mêmes ? À titre d'exemple, la doc d'ocaml est distribuée sous la licence suivante : The present documentation is copyright © 2004 Institut National de Recherche en Informatique et en Automatique (INRIA). The Objective Caml documentation and user's manual may be reproduced and distributed in whole or in part, subject to the following conditions: * The copyright notice above and this permission notice must be preserved complete on all complete or partial copies. * Any translation or derivative work of the Objective Caml documentation and user's manual must be approved by the authors in writing before distribution. * If you distribute the Objective Caml documentation and user's manual in part, instructions for obtaining the complete version of this manual must be included, and a means for obtaining a complete version provided. * Small portions may be reproduced as illustrations for reviews or quotes in other works without this permission notice if proper citation is given. J'imagine que quelque chose de similaire vous conviendrait aussi. De plus, le package ira dans la section non-free de Debian, sauf si vous choisissez une licence libre pour cette doc (la licence ci-dessus ne l'est pas). Je suis désolé de vous ennuyer avec des problèmes si peu intéressants mais c'est la règle du jeu... Cordialement, Samuel. -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]
Re: Droit de distribuer la doc de coq
Quoting Samuel Mimram ([EMAIL PROTECTED]): De plus, le package ira dans la section non-free de Debian, sauf si vous choisissez une licence libre pour cette doc (la licence ci-dessus ne l'est pas). Maybe explaining to the people you're talking to why this licence is not considered DFSG-compliant would help them. I would maybe help some people here as well..:-) -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]