It appears that the release documentation did not build, and the error was not caught.
I will go ahead and publish the master site, but we really have to fix this. Unless there's an actual source change we're fixing, the way I think it should work is as follows: - Rafa spins new RCs, making sure that the documentation builds. - We vote on the RCs. - We promote them if they pass. Karl
