On Aug 4, 8:35 am, Robert Bradshaw <[email protected]> wrote: > Personally, I always kill the documentation build 'cause it takes way > too long.
Why not have an option? sage -clone --> cloning without building docs sage -clone -doc --> cloning with building docs 0.02€ Simon -- To post to this group, send an email to [email protected] To unsubscribe from this group, send an email to [email protected] For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
