Update documentation build section
This PR updates the `build_doc` with the `build_pr_documentation` job and how to see where things went wrong if the job fails.
_The documentation is not available anymore as the PR was closed or merged._