tree 963b2ce2c6c58be7c1d35ac99390e846da6edb07
parent b62f952179a99a8f2e88dd97ce7b1980cfefd76c
author Davide Pesavento <davidepesa@gmail.com> 1710203408 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1710203408 -0400

build: rename `sphinx_build.py` to `sphinx.py`

Change-Id: I3833075c0047dfe6ba51cbc6d17c55e0ad9069e6