Shawn Landden 44415ab61e Update Users.md 6 years ago
..
images a0c6d3dbb6 docs: Prettier screenshot in tutorial 7 years ago
markdown 44415ab61e Update Users.md 6 years ago
theme ae3ea22479 Removed duplicate title in doc theme. 7 years ago
README.md fba29b14e7 docs: clarify where hotdoc should be run 7 years ago
hotdoc.json eb38a05beb Fix web site upload repository. 7 years ago
sitemap.txt e674434389 Updated version number for new release. 6 years ago

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