Get hotdoc (0.8.9 required)
Run hotdoc in the docs/ directory:
hotdoc run
We are using the git-upload hotdoc plugin which basically removes the html pages and replaces with the new content.
You can simply run:
hotdoc run --git-upload-activate
