[sage-devel] Re: sagenb.org has old documentation

2012-06-01 Thread kcrisman
On Jun 1, 2:42 pm, Jason Grout wrote: > On 6/1/12 1:37 PM, kcrisman wrote: > > > Check out "Help" on sagenb.org - documentation is still version 4.8, > > apparently.  Can someone fix this? > > How do I fix it?  I just extracted the boxen binary from the release > directory.  Do the docs not get

[sage-devel] Re: sagenb.org has old documentation

2012-06-01 Thread Jason Grout
On 6/1/12 1:37 PM, kcrisman wrote: Check out "Help" on sagenb.org - documentation is still version 4.8, apparently. Can someone fix this? How do I fix it? I just extracted the boxen binary from the release directory. Do the docs not get built in that? Thanks, Jason -- To post to this