On Mon, Sep 29, 2025 at 9:12 AM John H Palmieri <[email protected]> wrote: > On Monday, September 29, 2025 at 8:01:58 AM UTC-7 [email protected] wrote: > > Previously "make" built doc. Now it doesn't. This change affects all > > developers using sage-the-distro. > > And it is a positive change, as one does building of the code more > often than building of the code and the docs. > > I understand that opinion, but it should have been discussed by the Sage > community before being implemented.
I would personally welcome a broader discussion (and perhaps even a vote) on whether the docs should be built by default. From my own experience, building the documentation takes quite a long time, and I’ve often found myself needing to look up the flag to disable it. For that reason, I’m relieved that it’s now off by default. At the same time, I realize I don’t fully understand what the trade-offs are—specifically, what we lose by not building the docs automatically, and how significant the time cost is for different use cases. -- 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 [email protected]. To view this discussion visit https://groups.google.com/d/msgid/sage-devel/CACLE5GCMPdFvRAt2QvC-jOZPfdOnJG%3DFbW-LaoQpjPU_s_k_7Q%40mail.gmail.com.
