tree 6e88654736ad8dcdbee20ae0b1a7cf1b36480340
parent 0e7f73469c5ac90558f5e6639864a109cae004d9
author Davide Pesavento <davidepesa@gmail.com> 1710354002 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1710354002 -0400
gpgsig -----BEGIN SSH SIGNATURE-----
 U1NIU0lHAAAAAQAAADMAAAALc3NoLWVkMjU1MTkAAAAgUq1kTswyqVSwub8lqsj9jRjIUn
 OG0Hs5bGcrohWnIDgAAAADZ2l0AAAAAAAAAAZzaGE1MTIAAABTAAAAC3NzaC1lZDI1NTE5
 AAAAQMXhUMZ1qG4PPq2OP+MiwIeuUXr/Aqz7JgVM+YljsSbJb5Kh8L4Agi69wkNjV48Bpi
 vfs5JzDdCBY3qeKENZvAc=
 -----END SSH SIGNATURE-----

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

Change-Id: Ieea421a7a9c0d8710aee8be6dabaf6e90f1720fc