patrick96
|
278584fa27
|
feat(doc): Add rtd search extension
Provides real-time search on readthedocs
Ref: https://readthedocs-sphinx-search.readthedocs.io
|
2023-10-08 21:24:37 +02:00 |
|
patrick96
|
19e8d53320
|
doc: Explicitly specify sphinx rtd theme dependency
Since August 7, 2023, readthedocs will not install the rtd theme by
default anymore.
Ref: https://blog.readthedocs.com/python-core-requirements-changed/
|
2023-10-08 21:16:21 +02:00 |
|
patrick96
|
234e606b41
|
doc: Replace custom domain with add_object_type
Less overhead and doesn't require a new dependency
|
2023-04-18 15:48:38 +02:00 |
|
patrick96
|
c6eb3f88ea
|
doc(tray): Initial experiments
|
2023-04-18 15:48:38 +02:00 |
|