I just tried make doc-html. I get: [sagelib-10.9.beta7] Warning: File /var/tmp/sage-10.9/local/var/lib/sage/scripts/sagelib/spkg-requirements.txt not found [sagelib-10.9.beta7] Warning: Directory /var/tmp/sage-10.9/local/var/lib/sage/scripts/sagelib not found [sagelib-10.9.beta7] Removing stamp file /var/tmp/sage-10.9/local/var/lib/sage/installed/sagelib-10.9.beta7 [sagelib-10.9.beta7] [spkg-install] Installing sagelib-10.9.beta7 [sagelib-10.9.beta7] [spkg-install] * Building wheel...
Are the missing files in sage/scripts treated as missing dependencies? Why would they be missing? I did not delete them. - Marc On Sat, Feb 28, 2026 at 1:03 PM Dima Pasechnik <[email protected]> wrote: > For me, > > make doc-html > > does the right thing, building html docs, without extra work (after > `make` is done). > If one needs the docs, it makes sense to run > the above straight away, it's a bit quicker, as it avoids extra > regeneration of docs ninja targets by meson. > > Dima > > > > > > > > On February 28, 2026 11:13:44 AM CST, Marc Culler <[email protected]> > wrote: > >> When I build sage with make the last step is to build sagelib. If I then >> run >> make sagemath_doc_html >> it rebuilds the sagelib that it just finished building before starting to >> build the documentation. >> >> Why? >> >> - Marc >> >> -- > You received this message because you are subscribed to a topic in the > Google Groups "sage-devel" group. > To unsubscribe from this topic, visit > https://groups.google.com/d/topic/sage-devel/dVVleHx0xP0/unsubscribe. > To unsubscribe from this group and all its topics, send an email to > [email protected]. > To view this discussion visit > https://groups.google.com/d/msgid/sage-devel/FEA68B7E-8D2F-4957-A43A-D2FA9A0263BA%40gmail.com > <https://groups.google.com/d/msgid/sage-devel/FEA68B7E-8D2F-4957-A43A-D2FA9A0263BA%40gmail.com?utm_medium=email&utm_source=footer> > . > -- 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/CALcZXRHBSkzU_2SGK-DeLq7pGDKNRuV_R19-aS9KiS3nbb6y2g%40mail.gmail.com.
