Tweak doc build system and docs

9 jobs for develop in 23 minutes and 37 seconds (queued for 1 second)
latest