17 lines
347 B
Markdown
17 lines
347 B
Markdown
# Building the documentation
|
|
|
|
1. Get [hotdoc](https://hotdoc.github.io/installing.html) (0.8.9 required)
|
|
1. 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
|
|
|