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