On Mon, Sep 8, 2025 at 7:59 PM Kwankyu Lee <[email protected]> wrote:
>
> Hi,
>
> As of 10.8.beta2 (perhaps also earlier releases), the built documentation is
> found in build/sage-distro/src/doc/html/en/reference. The standard location
> was local/share/doc/sage/html/en/reference.
>
> Is this intended or a bug?
it's the location dictated by Meson, to have things built in the build
directory.
In a sage-distro-agnostic setup, there is even no SAGE_LOCAL to speak about.
We can of course create a symbolic link to build/sage-distro/src/doc/html/
from local/share/doc/sage/html/ if needed. Is launching documentation via
sage: reference()
the only place where this matters?
Dima
> Due to the change, the following does not work
>
> $ ./sage
> ┌────────────────────────────────────────────────────────────────────┐
> │ SageMath version 10.8.beta2, Release Date: 2025-09-07 │
> │ Using Python 3.13.5. Type "help()" for help. │
> └────────────────────────────────────────────────────────────────────┘
> ┏━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━┓
> ┃ Warning: this is a prerelease version, and it may be unstable. ┃
> ┗━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━┛
> sage: reference()
> ---------------------------------------------------------------------------
> OSError Traceback (most recent call last)
> ...
> OSError: The document 'reference' does not exist. Please build it
> with 'sage -docbuild reference html' and try again.
>
> A related question. To prevent this sort of regression, there is a doctest
>
> sage: manual() # indirect doctest, not tested
>
> in src/sage/misc/sagedoc.py. But as you see, the "not tested" tag makes it
> useless. Why a doctest is "not tested"?
>
>
> --
> 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/42bbb5e0-d50d-42df-a290-548d45771e56n%40googlegroups.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/CAAWYfq0yEB7UCenLtKFf%3DwBTR4Js14Tf%3DOr8fPfL%3DtdZ%2B8%2BPew%40mail.gmail.com.
