On Mar 10, 11:41 am, mabshoff <mabsh...@googlemail.com> wrote:
> On Mar 10, 11:33 am, John H Palmieri <jhpalmier...@gmail.com> wrote:
>
> > Is there a good reason why cloning should not copy the 'output'
> > directory in sage/doc? I can think of lots of good reasons why it
> > *should* be copied...
>
> It is a bug. Please open a ticket.

Okay, it's #5469.

> There was some discussion about this a while ago and we concluded that
> it is best to have the documentation per clone since it can be
> significantly different.

That makes sense to me.

  John

--~--~---------~--~----~------------~-------~--~----~
To post to this group, send email to sage-devel@googlegroups.com
To unsubscribe from this group, send email to 
sage-devel-unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URLs: http://www.sagemath.org
-~----------~----~----~----~------~----~------~--~---

Reply via email to