Jenkins: build_doc.