tree e6d79d37e8781755114864aec5a5e388c9248193
parent 279af1ceace547611b000819ddded532ceda15f1
author Davide Pesavento <davidepesa@gmail.com> 1663715455 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1663715455 -0400

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

Change-Id: Iacf4a72d30babc4a7c3fab0fea619a798eff2df1