On Fri, Jan 27, 2012 at 18:28, William Stein <wst...@gmail.com> wrote: >> (Incidentally, why does $SAGE_LOCAL point to $SAGE_ROOT/local/bin and not >> $SAGE_ROOT/local as the name would suggest?) >> > > It does point to $SAGE_ROOT/local.
Oops, why did I think it didn't? Sorry for the noise. (I'll keep that in mind when writing about where to apply patches on trac tickets...) -Keshav ---- Join us in #sagemath on irc.freenode.net ! -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org