Joel Brobecker 20a675ee19 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

2022-11-28 10:17:05 +01:00

..

source

Switch the HTML documentation to using the RTD theme

2022-11-28 10:17:05 +01:00

Makefile

Fix doc build scripts

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