Deploy tools

There are a few ways to deploy your documentation site.

1. Use the git subtree command
2. Put the git subtree command in a post-commit hook
3. Use a webhook

More soon.