Why waste CI time on documentation…

7 jobs for master in 1 minute and 13 seconds