fix: use actual release version in PDF output instead of latest

Agent-Logs-Url: https://github.com/skjnldsv/documentation/sessions/e2f6fe71-2793-4c59-80fb-073d6f45204e

Co-authored-by: skjnldsv <14975046+skjnldsv@users.noreply.github.com>

Author: Copilot

.github/workflows/sphinxbuild.yml

@@ -85,8 +85,21 @@ jobs:
     - name: Build html documentation
       run: cd ${{ matrix.manual.directory }} && make ${{ matrix.manual.make_target }}
 
+    - name: Compute PDF release version
+      if: ${{ matrix.manual.build_pdf_path }}
+      id: pdf_version
+      run: |
+        branch="${GITHUB_REF#refs/heads/}"
+        if [[ "$branch" == stable* ]]; then
+          echo "release=${branch#stable}" >> $GITHUB_OUTPUT
+        else
+          echo "release=latest" >> $GITHUB_OUTPUT
+        fi
+
     - name: Build pdf documentation
       if: ${{ matrix.manual.build_pdf_path }}
+      env:
+        DOCS_RELEASE: ${{ steps.pdf_version.outputs.release }}
       run: |
         set -e
         cd ${{ matrix.manual.directory }}

conf.py

@@ -28,7 +28,8 @@
 # The short X.Y version.
 version = 'latest'
 # The full version, including alpha/beta/rc tags.
-release = version
+# Can be overridden via DOCS_RELEASE env var (used for PDF builds to show the actual version number)
+release = os.environ.get('DOCS_RELEASE', version)
 
 # RTD theme options
 html_theme_options = {