tree ff94b9ecfd466293f6e9c11b7398c7263a61aa5d
parent 15a7442759a0bdb1e5089735cc15fe6a11f3b67c
author Davide Pesavento <davidepesa@gmail.com> 1663627082 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1663627082 -0400

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

Change-Id: I970c5691cb4b1879854023a3747c2bf63189c128