tree 4ab724a86433b7da3970cb10a4f254720536f419
parent 0d89d41117ed29cf848420f07d2af775e5f21458
author Davide Pesavento <davidepesa@gmail.com> 1710354504 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1710354504 -0400
gpgsig -----BEGIN SSH SIGNATURE-----
 U1NIU0lHAAAAAQAAADMAAAALc3NoLWVkMjU1MTkAAAAgUq1kTswyqVSwub8lqsj9jRjIUn
 OG0Hs5bGcrohWnIDgAAAADZ2l0AAAAAAAAAAZzaGE1MTIAAABTAAAAC3NzaC1lZDI1NTE5
 AAAAQF2eknV23dDF7yR1do5qWhfbnS7DPAcTPe6peQt95PXFb/B47zPDM0SLpURek4TQNM
 7UBoNIwHy6U+/B8eu6GQQ=
 -----END SSH SIGNATURE-----

build: simplify and improve sphinx tool

Change-Id: Ida68f6e8dc8f4105d1da9842e90d824b83b3e021