patrick96
|
0ed669f049
|
fix(doc): Update vulnerable rtd search extension
Ref: https://github.com/readthedocs/readthedocs-sphinx-search/security/advisories/GHSA-xgfm-fjx6-62mj
|
2024-01-20 17:53:28 +01:00 |
|
patrick96
|
0a19c5e3d7
|
doc: Bump sphinx-rtd-theme to version 2
The notfound plugin (404 page) does not seem to work with older versions
of the theme.
|
2023-10-23 01:08:14 +02:00 |
|
patrick96
|
eaa3ba5f83
|
doc: Fix sphinx version
|
2023-10-23 00:32:46 +02:00 |
|
patrick96
|
38f67f4269
|
doc: Add sphinx 404 page
|
2023-10-23 00:32:46 +02:00 |
|
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 |
|