some of these are generated by ./bootstrap You need to run it either directly, or via make (the latter might be flaky)
On February 28, 2026 1:08:10 PM CST, Marc Culler <[email protected]> wrote: >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. -- 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/9AA093FD-2F0D-43FB-A281-D76DDA3274D8%40gmail.com.
