Fix doc build

[benjeffery]

No description provided.

[benjeffery]

Hmm, this update is orthogonal to the issue in #2275 but maybe the issue there was transitory.

[codecov]

Codecov Report

Merging #2278 (097e27e) into main (6152aef) will not change coverage.
The diff coverage is n/a.

@@           Coverage Diff           @@
##             main    #2278   +/-   ##
=======================================
  Coverage   93.29%   93.29%           
=======================================
  Files          27       27           
  Lines       26076    26076           
  Branches     1167     1167           
=======================================
  Hits        24328    24328           
  Misses       1718     1718           
  Partials       30       30           

Flag	Coverage Δ
c-tests	92.23% <ø> (ø)
lwt-tests	89.05% <ø> (ø)
python-c-tests	71.97% <ø> (ø)
python-tests	98.88% <ø> (ø)

Flags with carried forward coverage won't be shown. Click here to find out more.

---

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update 6152aef...097e27e. Read the comment docs.