docs
Leave the index.html and the .nojekyll files here, otherwise GitHub pages will break.
index.html
.nojekyll
To update the docs, delete all folders inside this one and run make html in the docs_source folder.
make html
docs_source