tree 3643e3b339d9ac07660f60ac88074076a9038392
parent 87208f964af86ebad17cb2ab287f1f957a622679
author Davide Pesavento <davidepesa@gmail.com> 1663807983 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1663807983 -0400

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

Change-Id: I52415e37bcf237599aa5c4fa66605c34bc015626