tree 6a140ff216c924fb14b88cbc2e9230e8d315b114
parent da1a4d36a0a027254ac0f8356ab9eeea99664bf9
author Davide Pesavento <davidepesa@gmail.com> 1663983606 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1664089973 -0400

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

Change-Id: Id1ba3c27d4b1d295eb334f875931b56c0adcfc1b