On 2017-04-21, Jori Mantysalo <jori.mantys...@uta.fi> wrote: > On Thu, 20 Apr 2017, Kwankyu Lee wrote: > >> I propose to move the AUTHORS section to the last of the heading: > > +1.
Question: Do you suggest to *manually* move the AUTHORS: section of *all* affected docstrings? Or do you merely suggest to modify Sage's doc builder, so that it will always create an autput where the AUTHORS: section comes last -- without the need to change the doc strings? Best regards, Simon -- 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.
