diff mbox series

[4/4] tools/build-docs-container: update with newly supported distros

Message ID 20251003-update-tested-distros-v1-4-240e2da1af5e@bootlin.com
State Accepted
Headers show
Series Update list of supported/tested distributions | expand

Commit Message

Antonin Godard Oct. 3, 2025, 7:33 a.m. UTC
Update the build-docs-container file with newly supported distributions.
These were all able to install packages and build the docs (including
the pdf) properly.

Signed-off-by: Antonin Godard <antonin.godard@bootlin.com>
---
 documentation/tools/build-docs-container | 22 ++++++++++++++--------
 1 file changed, 14 insertions(+), 8 deletions(-)
diff mbox series

Patch

diff --git a/documentation/tools/build-docs-container b/documentation/tools/build-docs-container
index 108809838..70e05f295 100755
--- a/documentation/tools/build-docs-container
+++ b/documentation/tools/build-docs-container
@@ -34,13 +34,16 @@  $0 OCI_IMAGE [make arguments...]
    OCI_IMAGE is an image:tag of an OCI image hosted on hub.docker.com. It is one
    of:
      - debian:12
-     - fedora:38
+     - debian:13
      - fedora:39
      - fedora:40
-     - leap:15.4
+     - fedora:41
+     - fedora:42
      - leap:15.5
+     - leap:15.6
      - ubuntu:22.04
      - ubuntu:24.04
+     - ubuntu:25.04
 
    [make arguments] is one or more argument to pass to the make command of
    documentation/Makefile, see that file for what's supported. This is typically
@@ -79,21 +82,23 @@  main ()
     #   ;;
     # Missing python3-saneyaml
     # "debian:11"*|\
-    "debian:12"*)
+    "debian:12"*|\
+    "debian:13"*)
       containerfile=Containerfile.debian
       docs=ubuntu_docs.sh
       docs_pdf=ubuntu_docs_pdf.sh
       ;;
-    "fedora:38"*|\
     "fedora:39"*|\
-    "fedora:40"*)
+    "fedora:40"*|\
+    "fedora:41"*|\
+    "fedora:42"*)
       containerfile=Containerfile.fedora
       docs=fedora_docs.sh
       docs_pdf=fedora_docs_pdf.sh
       pip3=pip3_docs.sh
       ;;
-    "leap:15.4"*|\
-    "leap:15.5"*)
+    "leap:15.5"*|\
+    "leap:15.6"*)
     # Seems like issue with permissions package, c.f.
     #
     # Updating /etc/sysconfig/security ...
@@ -121,7 +126,8 @@  main ()
     # Cannot fetch packages anymore
     # "ubuntu:23.04"*|\
     "ubuntu:22.04"*|\
-    "ubuntu:24.04"*)
+    "ubuntu:24.04"*|\
+    "ubuntu:25.04"*)
       containerfile=Containerfile.ubuntu
       docs=ubuntu_docs.sh
       docs_pdf=ubuntu_docs_pdf.sh