On 2013-12-29 10:51, P Purkayastha wrote:
ii) what is the correct command to use instead of 'sage -b' if there are updates to libraries other than sage?
make
-- You received this message because you are subscribed to the Google Groups "sage-git" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/groups/opt_out.
