tree bfb35c816e23db9830df0df9a0c2d07f5a8cc2cf
parent 41bef6be9cd3451bac4f76366e3f82b3d8d255a5
author Davide Pesavento <davidepesa@gmail.com> 1663643671 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1663643671 -0400

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

Change-Id: Iad9546136d4ee7a3e94dc537701b592a988624af