Building the documentation Get hotdoc (0.8.9 required) Run hotdoc in the docs/ directory: hotdoc run Upload 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