Make sure odoc is installed. #12182

Job	Run time
build_js	1m 54s
build_details	9s
build_opam (4.14.x)	4m 59s
build_opam (5.3.x)	5m 24s
lezer_parse	39s
build_no_depopts	5m 8s
build_win32 (x64)	11m 25s
run_tests (@citest)	9m 53s
tree_sitter_parse	1m 25s
run_tests (@doctest)	6m 2s
build_posix (debian_trixie, amd64)	11m 48s
build_posix (debian_trixie, arm64)	15m 28s
run_tests (@mediatest)	10m 11s
update_doc	8m 41s
build_posix (debian_bookworm, amd64)	10m 54s
build_posix (debian_bookworm, arm64)	13m 51s
build_posix (ubuntu_oracular, amd64)	11m 53s
build_posix (ubuntu_oracular, arm64)	14m 32s
build_posix (ubuntu_noble, amd64)	11m 49s
build_posix (ubuntu_noble, arm64)	14m 36s
build_posix (alpine, amd64)	7m 40s
build_posix (alpine, arm64)	10m 19s
fetch_s3_artifacts	1m 52s
build_docker (amd64)	1m 42s
build_docker_minimal (amd64)	1m 32s
build_docker_minimal (arm64)	1m 39s
build_docker (arm64)	1m 56s
build_docker_alpine (amd64)	52s
update_release	0s
build_docker_alpine (arm64)	1m 2s
build_docker_alpine_minimal (amd64)	43s
build_docker_alpine_minimal (arm64)	1m 46s
build_docker_release-minimal	0s
build_docker_release	0s
	3h 21m 44s

Provide feedback