tree 6fefa48eb7eb3995bf8b396749ea45f12e1347ca
parent d8bf8bbb636355193a6ccc744e93628144e29ccc
author Davide Pesavento <davidepesa@gmail.com> 1710370803 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1710370803 -0400
gpgsig -----BEGIN SSH SIGNATURE-----
 U1NIU0lHAAAAAQAAADMAAAALc3NoLWVkMjU1MTkAAAAgUq1kTswyqVSwub8lqsj9jRjIUn
 OG0Hs5bGcrohWnIDgAAAADZ2l0AAAAAAAAAAZzaGE1MTIAAABTAAAAC3NzaC1lZDI1NTE5
 AAAAQGmrOdQgyWykWgrxkfHp62QJCkJZR9v/tlb/4ZcTxId1Rv6C0Vqw7qglJJZirLUXBr
 tx9u/NYIpgJMOVmUvK4w0=
 -----END SSH SIGNATURE-----

build: update sphinx tool

Use the improved version from the ndn-cxx repository

Refs: #5298
Change-Id: I9343a1bf7b136e6690ae39c7f6f21b7bf43343b9