On Tue, Sep 9, 2025 at 9:47 AM 'tobia...@gmx.de' via sage-devel
<sage-devel@googlegroups.com> wrote:
>
>
> 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?
>
>
> The docs are placed in whatever folder you pass under `-o` to the
> sage_docbuild script. In the case of `make doc-html` this is indeed some
> folder under build/sage-distro, but it could be also a completely different
> directory.
>
> So I don't think there is a reliable way to find out where the built html
> files are located and thus SAGE_DOC should be avoided if possible (or you
> should set the env variable manually before starting sage).
applying
--- a/src/bin/sage-env
+++ b/src/bin/sage-env
@@ -241,6 +241,8 @@ if [ -n "$SAGE_SRC" ]; then
export SAGE_DOC_SRC="$SAGE_SRC/doc"
fi
+export SAGE_DOC="$SAGE_ROOT/build/sage-distro/src/doc"
+
if [ -n "$SAGE_PKG_CONFIG_PATH" ]; then
# set up external pkg-config to look into SAGE_LOCAL/lib/pkgconfig/
# (Sage's pkgconf spkg takes care of this, if installed)
makes
sage: reference()
work. How can one write a doctest to test that this works, is a question.
> In the case of `reference`, is there a good reason this is not simply opening
> https://doc.sagemath.org/ in case SAGE_DOC doesn't point to an existing
> folder?
>
> --
> 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 sage-devel+unsubscr...@googlegroups.com.
> To view this discussion visit
> https://groups.google.com/d/msgid/sage-devel/fda23be8-f292-4e1e-8d63-32b9010652c9n%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 sage-devel+unsubscr...@googlegroups.com.
To view this discussion visit
https://groups.google.com/d/msgid/sage-devel/CAAWYfq027O2dH-MYerE9GC%2BkfPai%3Dv1-1EZqd%2Bit4sP%2BddYDUA%40mail.gmail.com.
