Hi John, On 2017-11-17, John H Palmieri <[email protected]> wrote: >> And WHY that change was made! >> > > If it takes a while to build the documentation, better to start as soon as > possible, rather than to wait until the last possible time, right?
If the user's purpose is to use Sage, better make it usable as soon as possible. Moreover: Have the for-years-frequently-occurring "sporadic" doc build failures been fixed at last? Otherwise: Better build as soon as possible what does reliably build (i.e., sage/src), rather than frustrating the user. Best regards, Simon -- You received this message because you are subscribed to the Google Groups "sage-release" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/sage-release. For more options, visit https://groups.google.com/d/optout.
