OK, please see https://trac.sagemath.org/ticket/22041 ---ready for review.
On Thursday, December 8, 2016 at 5:28:36 PM UTC, William wrote: > > On Thu, Dec 8, 2016 at 8:17 AM, Dima Pasechnik <dim...@gmail.com > <javascript:>> wrote: > > As pointed out in > > https://groups.google.com/d/msg/sage-devel/n0B16q4h2c8/iHhDLRD5BwAJ > > various places in src/doc/ mention different (incompatible, according to > > Debian people) licenses > > for the documentation. > > > > We ought to do something about it. > > > > GFDL is only mentioned in > > src/doc/en/reference/history_and_license/index.rst > > while CC-BY-SA v3.0 is mentioned in src/doc/en/reference/index.rst > > > > I propose to make everything CC-BY-SA v3.0 which seems to be more > reasonable > > one. > > > > From a decade-old sage-devel thread [1], I wrote: " (3) We state > also that by making an explicit contribution to the SAGE wiki or the > SAGE documentation, that ones contribution is licensed under the > Create Commons 3.0 license. This should be prominently displayed on > the SAGE wiki home page." > > And indeed, ever since, we have clearly stated on the wiki [2] -- > "License and Copyright. Contributions to the Sage wiki and to the Sage > documentation are licensed under the Creative Commons 3.0 BY-SA > license. By contributing, you agree to place your contribution under > that license." > > Thus I think we are on very good legal footing to make that statement > in the COPYING file of the sage distribution, and remove any > contradictory claim about GFDL. > > [1] > https://groups.google.com/forum/#!searchin/sage-devel/joyner$20creative$20commons$20wiki%7Csort:relevance/sage-devel/8HHj4yLtjlE/1GH3B4_Vt4AJ > > [2] https://wiki.sagemath.org/ > > William > > > > Dima > > > > > > -- > > You received this message because you are subscribed to the Google > Groups > > "sage-devel" group. > > To unsubscribe from this group and stop receiving emails from it, send > an > > email to sage-devel+...@googlegroups.com <javascript:>. > > To post to this group, send email to sage-...@googlegroups.com > <javascript:>. > > Visit this group at https://groups.google.com/group/sage-devel. > > For more options, visit https://groups.google.com/d/optout. > > > > -- > William (http://wstein.org) > -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.