Run release builds remotely #337
Description
It would also be helpful if the full builds could be launched as needed on jenkins/ci or some other managed resource, since when I have to do the full build and push on my local machine it is really really slow.
In particular, I'm referring to the process listed as "Pushing new versions or releases of documentation to the web" here: https://wiki.elastic.co/display/DOC. For some reason we seem to need to do this for almost every release.