diff options
| author | Markus Heiser <markus.heiser@darmarit.de> | 2022-07-05 17:05:06 +0200 |
|---|---|---|
| committer | Markus Heiser <markus.heiser@darmarit.de> | 2022-07-05 17:05:06 +0200 |
| commit | eb5bea16ff31436a16d31f53f980611f052bd1e8 (patch) | |
| tree | e68d9ecbc5d38c87c978015674c8aede81429e63 /docs/conf.py | |
| parent | 89a7ffbd34dc9b494904e2f17d1a34c743216fd5 (diff) | |
[fix] sphinx 5.x: add `nav.contents` everywhere that `div.topic` is used
Previously, docutils produced `div.topic` for the contents directive, the latest
version produces `nav.contents`. This means that those tables of contents
change appearance when switching to docutils 0.18 [1][2].
[1] https://github.com/sphinx-doc/sphinx/pull/10535/commits/5806f0a
[2] https://github.com/sphinx-doc/sphinx/issues/10534
Signed-off-by: Markus Heiser <markus.heiser@darmarit.de>
Diffstat (limited to 'docs/conf.py')
0 files changed, 0 insertions, 0 deletions