Fix doc compilation.

6 jobs for development/cleaning-old-api in 15 minutes and 51 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Build
passed #89245
distcheck-linux-gcc9-debug-asan-ubsan

00:12:10

manual #89246
allowed to fail manual
distcheck-linux-gcc9-debug-coverage
passed #89244
distcheck-linux-gcc9-release

00:08:55

passed #89247
documentation

00:02:50

passed #89243
windows manual
windows-debug

00:03:40

 
  Bench
manual #89248
pylene-benchmarks allowed to fail manual
distbench-linux-gcc9-release