tree 5a5c9fe118e31caecf4f74a9740f7e64d6348198
parent 423553e2d91517c8b6e456fa87ef15225c1a1eec
author Davide Pesavento <davidepesa@gmail.com> 1663707802 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1663707802 -0400

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

Change-Id: Ia69db4e8d6bef7f779bd3556be6afe534df8ad31