tree 3cef29a53be635c00c4274ed547db7bd43aed996
parent ede596384531e1eec19672e51be26f0997ed0b5f
author Davide Pesavento <davidepesa@gmail.com> 1663784366 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1664129483 -0400

docs: simplify conf.py and fix compatibility with upcoming Sphinx 6.0

Change-Id: Ib68b2cf40c9b3e74251bb87aa76ca18b7e371f3c