[sage-devel] Re: What to do with the documentation of an optional spkg

2016-04-08 Thread Simon King
Hi! On 2016-04-08, Volker Braun wrote: > Automatic import of additional globals into the Sage command line should be > determined by configuration file(s) in SAGE_LOCAL/etc/sagemath (or so), not > by mokeypatching stuff in Sage. Feel free to send in a patch... One should also mention that mean

[sage-devel] Re: What to do with the documentation of an optional spkg

2016-04-07 Thread Volker Braun
IMHO your package should never alter Sage sources, thats just confusing. Documentation should be built when your package is installed, and installed in the standard SAGE_LOCAL/share/doc/mypackage. Similarly, your code should be installed into SAGE_LOCAL and never into the Sage source tree. SAGE