Not fixed by `make doc-clean doc_uninstall`. Trying `make disclean` (= don't hold your breath). Sigh...
HTH, Le dimanche 30 avril 2023 à 15:16:30 UTC+2, Emmanuel Charpentier a écrit : > I got the same proble when building the calculus documentation. > > HTH, > > > Le samedi 29 avril 2023 à 08:26:18 UTC+2, tdumont a écrit : > >> >> When upgrading from rc0 to rc1 (Debian testing) I got an error when >> building "manifolds" documentation: >> >> sagemath_doc_html-none] [manifolds] RuntimeError: ECL says: Module >> error: Don't know how to REQUIRE MAXIMA. >> >> t.d. >> Le 29/04/2023 à 01:15, Volker Braun a écrit : >> > As always, you can get the latest beta version from the "develop" git >> > branch. Alternatively, the self-contained source tarball is at >> > http://www.sagemath.org/download-latest.html >> > >> > 5bd81deae14 (HEAD -> develop, tag: 10.0.rc1, github/develop) Updated >> > SageMath version to 10.0.rc1 >> > 9185befce0c gh-35558: `sage.quadratic_forms`: Fix use of `staticmethod` >> > for Python < 3.10 >> > 2bedb53b5ea gh-35415: `givaro`, `zeromq`: Add patches for GCC 13 >> support >> > f3acd42678a (tag: 10.0.rc0) Updated SageMath version to 10.0.rc0 >> > >> > -- >> > 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] >> > <mailto:[email protected]>. >> > To view this discussion on the web visit >> > >> https://groups.google.com/d/msgid/sage-release/7f52c062-b965-48d3-bbaa-b657d53991a4n%40googlegroups.com >> >> < >> https://groups.google.com/d/msgid/sage-release/7f52c062-b965-48d3-bbaa-b657d53991a4n%40googlegroups.com?utm_medium=email&utm_source=footer>. >> >> >> > -- 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/11635351-0eb8-48b9-92be-a37b71f2cb9cn%40googlegroups.com.
