build

Merge pull request #1024 from bradh/docs_2023-11-03 #1501

Job	Run time
build (nothing)	43s
build (tarball, 1, 1, 1, 1, 1)	1m 27s
build (graphics, 1)	48s
build (x265, 1)	59s
build (x265 / graphics, 1, 1)	53s
build (libde265 (1) / graphics, 1, 1)	1m 42s
build (libde265 (2) / graphics, 1, 2)	3m 6s
build (libde265 (1) / x265 / graphics, 1, 1, 1)	50s
build (libde265 (2) / x265 / graphics, 1, 1, 2)	3m 8s
build (libde265 (1) / x265 / aom / graphics, 1, 1, 1, 1)	1m 16s
build (libde265 (1) / x265 / dav1d / graphics, 1, 1, 1, 1)	1m 52s
build (libde265 (1) / x265 / aom / rav1e / graphics, 1, 1, 1, 1, 1)	16m 10s
	32m 54s

Provide feedback