Build and push the develop documentation to the production server