Include documentation scripts #9096

Job	Run time
build_js	1m 41s
build_details	5s
pre-commit	5m 23s
tree_sitter_parse	2m 26s
lezer_parse	1m 20s
build_no_depopts	4m 27s
run_tests (@citest)	2m 20s
run_tests (@doctest)	2m 22s
build_opam (4.14.x)	5m 3s
build_opam (5.0.x)	7m 21s
build_posix (debian_trixie, amd64)	3m 33s
build_win32 (x64)	18m 26s
run_tests (@mediatest)	2m 10s
build_posix (debian_bookworm, amd64)	3m 27s
build_posix (ubuntu_jammy, amd64)	3m 53s
build_posix (ubuntu_lunar, amd64)	3m 51s
build_posix (alpine, amd64)	10m 20s
update_doc	0s
fetch_s3_artifacts	0s
build_docker_alpine	0s
build_docker_minimal	0s
build_docker	0s
build_docker_alpine_minimal	0s
build_docker_release	0s
build_docker_release-minimal	0s
update_release	0s
	1h 18m 8s

Provide feedback