On Tuesday, December 17, 2013 3:25:03 PM UTC, Nathann Cohen wrote: > > Except that after running "sage -br" I still get a banner announcing Sage > 5.13. I then ran "make", and now it proudly says "Sage 6.0.rc1". >
Yes, the banner is an installed file so we don't have to start up sage to just print the version. Only "make" will install the updated banner, rebuilding the sage library does not. -- You received this message because you are subscribed to the Google Groups "sage-release" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-release+unsubscr...@googlegroups.com. To post to this group, send email to sage-release@googlegroups.com. Visit this group at http://groups.google.com/group/sage-release. For more options, visit https://groups.google.com/groups/opt_out.
