Maintainers with push privileges on `gh-pages` branch can update the
documentation by running:
```
./deploy.sh
```