Greg/docs deployment

[greg-szabo]

• Targeted PR against correct branch (see CONTRIBUTING.md) - targeted against master as it is a hotfix for the production website.

• Linked to github-issue with discussion and accepted design OR link to spec that describes this work. - tendermint/devops/issues/59

• Wrote tests - ran on staging with success

• Updated relevant documentation (docs/)

• Added entries in PENDING.md with issue # - not a user-facing change

• rereviewed Files changed in the github PR explorer

---

For Admin Use:

• Added appropriate labels to PR (ex. wip, ready-for-review, docs)
• Reviewers Assigned
• Squashed all commits, uses message "Merge pull request #XYZ: [title]" (coding standards)

[codecov]

Codecov Report

Merging #2185 into master will not change coverage.
The diff coverage is n/a.

@@           Coverage Diff           @@
##           master    #2185   +/-   ##
=======================================
  Coverage   63.76%   63.76%           
=======================================
  Files         113      113           
  Lines        6671     6671           
=======================================
  Hits         4254     4254           
  Misses       2131     2131           
  Partials      286      286