tree: 3783aaaba0c731946f0eb9443a8c10c1cdb89f42 [path history] [tgz]
  1. images/
  2. markdown/
  3. theme/
  4. hotdoc.json
  5. README.md
  6. sitemap.txt
docs/README.md

Building the documentation

  1. Get hotdoc (0.8.9 required)

  2. 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