On Wed, Sep 10, 2025 at 4:28 AM Kwankyu Lee <[email protected]> wrote: > > ... > SAGE_SHARE: Also doesn't make sense outside of sage-the-distro. Instead of > looking for stuff there at runtime, you should try to find your resources at > build time. > > > They all make sense in sage-the-distro. > > > ... so you have to set SAGE_DOC after you build the docs to tell sagelib > where they are installed. > > > In sage-the-distro, the doc is installed by default to the location set by > SAGE_DOC.
and SAGE_DOC is set, completely disjointly, in two different places: in sage.env and in src/bin/sage-env So it's does not make sense to talk about something set by SAGE_DOC, as it looks as some convenience value, nothing cut in stone or anything. Whatever sagelib does, what it is installing where, should be described using the standard python conventions, (pyproject.toml etc) not by some semi-random bunch of variables coming from somewhere vague. > > -- > 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/2c555dfb-7db4-4489-91f6-405cbef5507dn%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/CAAWYfq0BbjD4uu9yytgCh_Y066Wu1mjYRDhEWk%3DUTQ6OjHpAfg%40mail.gmail.com.
