On Tuesday, September 30, 2025 at 3:39:24 AM UTC+9 [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. I have always used the "make build" option to avoid the docbuilds. That is what I have told people previously when they are first starting out with development too. Perhaps we haven't been advertising as well as we should have about this. In either case, making things more transparent and with a concise description (with links to longer pages of text) would help with this I feel. Best, Travis -- 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/d4040cf9-4fe4-4431-8296-8c52bd46275dn%40googlegroups.com.
