[doc] Fix build instructions for documentation

15 jobs for master in 14 minutes and 55 seconds (queued for 2 seconds)