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

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