tree babe6af9526fc5ea2930011d997b061decaab14d
parent ac53789e8b667796b140bc5dcac135eda7d0f64c
author Davide Pesavento <davidepesa@gmail.com> 1710204052 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1710267413 -0400

build: simplify and improve sphinx tool

Change-Id: I4aec049aa059df79ba0d9e021289531b74d3fd32