On 2019-01-29 09:32, Vincent Delecroix wrote:
1) When a user performs `sage -pip install X`, should the documentation
be compiled and installed?
I'm pretty sure that the answer is "no" for most Python packages. I see
two reasons for this:
- there is no easy and obvious way to integrate this in setup.py
- it adds extra dependencies (on Sphinx for example) unrelated to the
actual functionality of the package
--
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 post to this group, send email to sage-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.