doc: Build documentation of hotdoc

5 jobs for hotdoc in 9 minutes and 35 seconds