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

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