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]
