The ./docs folder contains the final static assets to be published.

The developers documentation is managed with Antora.

The specification of the build process for developers documentation can be found in the ./antora folder.

Currently the workflow for adding external documentaiton components is:

1. Clone the desired git repository into ./antora/sources/repo-name.
   • Note: the sources folder is part of .gitignore.
2. Add the new source to ./antora/antora-playbook.yml file in the sources section.
3. Build the documentation from the ./antora folder:
   • make build

Setup the UI build entironment:

• cd ./antora/antora-ui-default
• npm install

Build the theme bundle:

• npx gulp bundle

After this the documentation can be built normally:

• npx antora generate antora-playbook.yml