tree ac6ea70908786e07f286b0de3b01c56a30cc46bc
parent 20465ad34342c74c55c532c2d7f1350c64e567db
author Davide Pesavento <davidepesa@gmail.com> 1710372251 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1710372251 -0400
gpgsig -----BEGIN SSH SIGNATURE-----
 U1NIU0lHAAAAAQAAADMAAAALc3NoLWVkMjU1MTkAAAAgUq1kTswyqVSwub8lqsj9jRjIUn
 OG0Hs5bGcrohWnIDgAAAADZ2l0AAAAAAAAAAZzaGE1MTIAAABTAAAAC3NzaC1lZDI1NTE5
 AAAAQI9pyHW5S0PTRNCr/ViLT3t8mrRE+oIc7q8UoTklGF6mTvRnQEK+iCHbu5vyti+jYe
 TzEszRS1qco82ytNBGQwQ=
 -----END SSH SIGNATURE-----

build: update sphinx tool

Use the improved version from the ndn-cxx repository

Refs: #5298
Change-Id: I681f38faa0078a67089b6a9c22eb56572a1c2940