From c41e76ae491e43efdf16ea2b4213182899c34e32 Mon Sep 17 00:00:00 2001
From: Don Naro <dnaro@redhat.com>
Date: Thu, 25 Sep 2025 08:19:52 +0100
Subject: [PATCH] add 13 to package doc build (#3073)

---
 .github/workflows/build-package-docs.yaml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/build-package-docs.yaml b/.github/workflows/build-package-docs.yaml
index c9b9b89620..566c1f7721 100644
--- a/.github/workflows/build-package-docs.yaml
+++ b/.github/workflows/build-package-docs.yaml
@@ -28,6 +28,7 @@ name: Build and deploy docs
         default: devel
         options:
         - devel
+        - '13'
         - '12'
         - '11'
         - '10'