Tests documentation

Devops documentation

Code-generated documentation

You need to run make doc-html to generate them.

Output is stored in doc/_build/html/index.html.

For 'make iso'

Building ISO documentation