Marcin Grzejszczak
|
2cb70a4639
|
Speeds up antora build
|
2023-09-08 15:35:26 +02:00 |
|
Marcin Grzejszczak
|
19d36d1f1f
|
More phase parameterization
|
2023-09-08 15:31:25 +02:00 |
|
Marcin Grzejszczak
|
5ca4b8b018
|
WIP on antora build script
|
2023-09-08 13:32:26 +02:00 |
|
Marcin Grzejszczak
|
260cebd278
|
Fixed antora build script
|
2023-09-08 13:29:41 +02:00 |
|
Marcin Grzejszczak
|
2282c2400a
|
Migrates documentation to Antora (#241)
* Migrate Structure
* Insert explicit ids for headers
* Copy default antora files
* Fix indentation for all pages
* Generate a default navigation
* Remove includes
* Enable Section Summary TOC for small pages
* WIP
* Updated the docs
* Removed unnecessary file deployment step
* Left deploy goal only
* Fixed configprops location
* Fixed gitignores and path of configprops generation
* Upgraded ui bundle
* Removed node files
* Removed unnecessary docs zip uploading
|
2023-09-08 13:00:27 +02:00 |
|