Fix generation of the documentation #30
Description
The doc should be migrated to Read The Docs and Github Actions should be used to build and push the documentation automatically.
{{ message }}
The doc should be migrated to Read The Docs and Github Actions should be used to build and push the documentation automatically.