We really should just remove all those SAGE_xyz variables.
Why? Do you assume that sage-the-distro is dead? | 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/8ed24a43-3150-43fe-9d15-be2b4f2336ean%40googlegroups.com.
