Name |
Date |
Size |
#Lines |
LOC |
||
---|---|---|---|---|---|---|
.. | - | - | ||||
docs/ | 23-Nov-2023 | - | 548 | 434 | ||
README.md | D | 23-Nov-2023 | 590 | 15 | 11 | |
build.gradle.kts | D | 23-Nov-2023 | 1.7 KiB | 66 | 46 | |
deploy.sh | D | 23-Nov-2023 | 2.1 KiB | 80 | 46 | |
stdlib.package.list | D | 23-Nov-2023 | 21.8 KiB | 230 | 229 |
README.md
1# Reference documentation site 2 3This module builds references documentation. 4 5## Building docs 6 7* Install [Docker](https://www.docker.com/) 8* In the project root directory run `./gradlew site` 9* The resulting HTML pages are generated in `site/build/dist` 10* For continuous testing of the documentation run `./gradlew serve` and navigate 11 to the URL that is printed on the screen 12 * Update the docs via `./gradlew copyDocs` while `serve` is running 13 14For release use [`deploy.sh`](deploy.sh) that performs clean build of the site and pushes the results 15into `gh-pages` branch of the project.