Fix doc building

12 jobs for update in 15 minutes and 27 seconds (queued for 8 seconds)