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. 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+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.
