Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Docs: config.py changes to use readthedocs addons
Instigated by https://about.readthedocs.com/blog/2024/07/addons-by-default/ Modified docs/conf.py to add lines suggested by the above blog post, in preparation of the changes at read the docs. We also should opt-in to the addon to ensure that this works ahead of the deprecation in October
- Loading branch information