Hi Karl,
Is that something that the release’s scripts should had do? Cheers, Rafa On Tue, Sep 8, 2015 at 12:09 AM, Karl Wright <[email protected]> wrote: > 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
