Update push-docs-to-s3.py
Merge pull request #430 from rmcgibbo/master

Update push-docs-to-s3.py