On 10/09/2025 16:17, Kwankyu Lee wrote:
We really should just remove all those SAGE_xyz variables.
Why? Do you assume that sage-the-distro is dead?
Even if sage-the-distro was dead, those variables are useful.
And if we say it is dead, well, it should go in a more standard
location, which at minimum would be $prefix/share/doc and configurable.
In Gentoo we want stuff in /usr/share/doc/pkg-name-pkg-version and I
have been managing that properly so far, and I certainly want a
mechanism to do it in the future and I want it properly documented.
Right now if you are using the Makefile in `src/doc` sage-distro is
hard-coded, it has to be changed.
| doc is built after sage is built. Why not just put SAGE_DOC
under '-o'?
It's already falling back to SAGE_DOC if you don't specify '-o'.
But that doesn't solve the question why/how sagelib should
determine where you (or your distro) will end up installing the
documentation.
'"SAGE_ROOT/local/share/doc" has been the default and I don't see why
this should change.
Say on arch, I'm installing the sagemath-doc package which puts it
in usr/share/doc/sage. How do you communicate that to sagemath?
I don't know. Define SAGE_DOC to the non-default location? Anyway,
this is not a new problem.
A new problem is that now the doc is not installed into the default
location defined by SAGE_DOC.
--
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/d284093d-f079-4e38-9ab7-10c6134057dc%40gmail.com.
