See CONTRIBUTING.md
It is encouraged to build the website locally first before pushing to GitHub to detect rendering issues or typos before the changes go live.
- Install Antora as explained at https://docs.antora.org/antora/latest/install-and-run-quickstart/
- Install Java 11 or greater https://www.oracle.com/java/technologies/downloads/
- Run the
generate.sh
script$ sh generate.sh
- Inspect the generated site at
$PWD/build/site/index.html