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

..

main

Migrates documentation to Antora (#241)

2023-09-08 13:00:27 +02:00

test

Migrates documentation to Antora (#241)

2023-09-08 13:00:27 +02:00