On Mon, Sep 29, 2025 at 1:39 PM William Stein <[email protected]> wrote:
> 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. > As meson is capable of incremental compilation and correct dependency tracking, a change in a pyx file in sagelib wouldn't even need "./sage -b" run---something that wasn't always working well, and so one needed "make build" instead, which meant a coffee-break :-) The necessary rebuild is triggered by a mere restart of ./sage, as far as I understand. On the other hand, docbuilding doesn't have a dependency tracking builtin, and it never had. I am not sure about the timeline, but the plan is to get rid of Sage's custom docbuilding, and use as much sphinx as possible today. If it's not feasible in the short run, then the dependency tracking for document should be implemented. Dima > > -- > 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 > . > -- 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/CAAWYfq0wMe20XfCwoOdpPC7hBvX_xhOkRqxr0sY5WN%3Dn6TYBQA%40mail.gmail.com.
