18 Jul
2012
18 Jul
'12
1:58 p.m.
On 18 July 2012 14:35, Vladimir Prus <ghost@cs.msu.su> wrote:
Strange -- the trunk version of docs is updated, for the large part. I'll see what's going on.
The documentation needs to be unzipped before it appears on the website, we stopped serving documentation from zipfiles a while ago because of the high server load. I just updated it manually, but someone needs to work out a better way to handle it. Or it could just use the documentation from the last release, which would be simpler.