[PATCH v2 05/18] tools/build-docs-container: add CentOS 10 support

Antonin Godard
2026-04-24T08:28:59Z

No issue building the documentation, and including the packages from the
essential list (INCLUDE_ESSENTIAL_PACKAGES=1).

Signed-off-by: Antonin Godard <antonin.godard@bootlin.com>
---
documentation/tools/build-docs-container | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/documentation/tools/build-docs-container b/documentation/tools/build-docs-container
index ab8314901..37d3d2bb6 100755
--- a/documentation/tools/build-docs-container
+++ b/documentation/tools/build-docs-container
@@ -36,6 +36,7 @@ $0 OCI_IMAGE [make arguments...]
- almalinux:8
- almalinux:9
- centos:stream9
+ - centos:stream10
- debian:12
- debian:13
- fedora:42
@@ -98,7 +99,8 @@ main ()
docs_pdf=tlmgr_docs_pdf.sh
pip3=pip3_docs.sh
;;
- "centos:stream9"*)
+ "centos:stream9"*|\
+ "centos:stream10"*)
containerfile=Containerfile.stream
essential=centosstream_essential.sh
docs=centosstream_docs.sh

--
2.53.0