Fix docs to build docs and push javadocs at the same time