Joel Brobecker 69fb278390 Switch the HTML documentation to using the RTD theme ...

This commit adjust the sphinx configuration to use the "Read The Docs"
theme, which has the advantage of allowing the navigation bar
(containing among other things a search bar, and the TOC) to stay
fixed while scrolling the contents of the page being read. This is
particularly useful to allow access to those features while reading
a long page, for instance.

TN: VB25-029
(cherry picked from commit 20a675ee19)

2022-11-30 08:50:35 +04:00

..

source

Switch the HTML documentation to using the RTD theme

2022-11-30 08:50:35 +04:00

Makefile

Fix doc build scripts

2020-09-03 19:17:37 +02:00