Requirements

It need the following python components

pip install sphinx PSphinxTheme

How to compile and update the documentation

make html
cp -r _build/html/* docs/
./scripts/replace_static.sh

commit & push