Try "make doc-clean doc-uninstall", not just "make doc-clean".
On Friday, June 24, 2022 at 3:21:39 AM UTC-7 Dima Pasechnik wrote: > On Fri, Jun 24, 2022 at 10:05 AM '[email protected]' via sage-release > <[email protected]> wrote: > > > > > >> Is anyone else seeing docbuilding issues? I am getting > >> > >> [sagemath_doc_html-none] __import__(module_name) > >> [sagemath_doc_html-none] ModuleNotFoundError: No module named > 'sage.combinat.nu_dyck_word' > >> > >> which is resulting the doc not building for me via "make". I have also > run "make doc-clean" and tried again with the same result. I think I have > also seen this on some patchbots. > >> > > > > This might be because my docbuild seems to be stuck in some partial > (broken) state as I have messages like > > > > [sagemath_doc_html-none] [finite_ri] updating environment: 0 added, 0 > changed, 19 removed > > > > The fact that it thinks file have been removed is slightly troubling to > me to what is supposed to be "clean" from the docbuild perspective. Have I > missed something with our docbuilding procedures? Is there some way to fix > this without a full "make clean" and rebuild? This was from an incremental > upgrade. > > changes in the modules system of sagelib are being merged. > Chances are that "make clean" (or even distclean) might be necessary. > > > > > > Best, > > Travis > > > > -- > > You received this message because you are subscribed to the Google > Groups "sage-release" group. > > To unsubscribe from this group and stop receiving emails from it, send > an email to [email protected]. > > To view this discussion on the web visit > https://groups.google.com/d/msgid/sage-release/d68730c4-2585-45e6-a80b-4e2d2a7983c6n%40googlegroups.com > . > -- You received this message because you are subscribed to the Google Groups "sage-release" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-release/bbcaac23-7c2a-4758-961f-36d5b5632d41n%40googlegroups.com.
