tree be62451f4818ac71e79be4718cbc50451852375b
parent 9419dd5c206c507bb96c946125909e667d658120
author Davide Pesavento <davidepesa@gmail.com> 1710355345 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1710355345 -0400
gpgsig -----BEGIN SSH SIGNATURE-----
 U1NIU0lHAAAAAQAAADMAAAALc3NoLWVkMjU1MTkAAAAgUq1kTswyqVSwub8lqsj9jRjIUn
 OG0Hs5bGcrohWnIDgAAAADZ2l0AAAAAAAAAAZzaGE1MTIAAABTAAAAC3NzaC1lZDI1NTE5
 AAAAQFoBj46pa9IuyHvT0/09T76d1v4yBw+3SEqobEIE6JP4utltQ7uwym0Z1QjBdZ1ZeN
 7qhrNdZOMwZUe/KJE70g0=
 -----END SSH SIGNATURE-----

build: update sphinx tool

Use the improved version from the ndn-cxx repository

Refs: #5298
Change-Id: I4bf8de732e9d1412dad99054d063320700d58b29