Andrew wrote: > On Wednesday, 27 July 2016 18:13:44 UTC+10, leif wrote: > > Andrew wrote: > > I just installed an optional package but it took me a while to > remember > > how to do it. Of course, it is completely straightforward but I just > > forgot.... > > Ahem, './sage --help'? > > Sure that's what I did when I didn't find it i the manual. The point is > that it should ALSO be in the manual.
Sure. I was just surprised you didn't try that first, but then you wouldn't have noticed our documentation being incomplete. :-) (Not sure whether the help messages are at all up-to-date; they're at least still ugly or inconsistent regarding short and long options, and old-style vs. new-style packages I think.) -leif -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
