Update doc configuration

12 jobs for issue_6 in 13 minutes and 9 seconds (queued for 6 seconds)