The documentation is automatically generated when the main is changed on the master branch.

For information, this automatic generation uses the GitHub API (in bin/gfm2html) and a Python script to transform the markdown in the into the HTML files. This generation is automatically launched by Travis-CI with bin/deploy_docs script.

So, if you see any error in the online documentation, you can first check the If the error does not come from the, you can either file an issue or check the Python or the bash scripts used to generate the HTML files.