Integrate PDF build

Author: trossi

.github/workflows/pages-build-html.yml

@@ -19,7 +19,7 @@ permissions:
 
 # Cancel in-progress builds for new pushes to the branch
 concurrency:
-  group: pages-build-${{ github.ref_name }}
+  group: pages-build-html-${{ github.ref_name }}
   cancel-in-progress: true
 
 jobs:

.github/workflows/pages-build-pdf.yml

@@ -0,0 +1,29 @@
+# SPDX-FileCopyrightText: 2024 CSC - IT Center for Science Ltd. <www.csc.fi>
+#
+# SPDX-License-Identifier: MIT
+
+name: Build HTML and PDF slides
+
+on:
+  push:
+    branches:
+      - "*"
+    paths:
+      - "**/docs/**"
+      - "**/about.yml"
+      - ".github/workflows/pages*.yml"
+  workflow_dispatch:
+
+permissions:
+  contents: read
+
+# Cancel in-progress builds for new pushes to the branch
+concurrency:
+  group: pages-build-pdf-${{ github.ref_name }}
+  cancel-in-progress: true
+
+jobs:
+  pages:
+    uses: ./.github/workflows/pages-build.yml
+    with:
+      include_pdf: true

.github/workflows/pages-build.yml

@@ -38,6 +38,9 @@ jobs:
               --info_content "Updated for [$GIT_SHORT_SHA]($GITHUB_SERVER_URL/$GITHUB_REPOSITORY/commit/$GITHUB_SHA) ($GIT_DATE)" \
               $ARGS
 
+          # Save commit sha
+          echo $GITHUB_SHA > build/commit_sha
+
       - name: Upload slide artifact
         uses: actions/upload-artifact@v4
         with:

.github/workflows/pages-deploy.yml

@@ -8,6 +8,7 @@ on:
   workflow_run:
     workflows:
       - "Build HTML slides"
+      - "Build HTML and PDF slides"
     types:
       - completed
 
@@ -61,9 +62,32 @@ jobs:
               mkdir site
           fi
 
-          echo "- Updating existing pages"
-          rm -rf site/$BRANCH
-          mv build site/$BRANCH
+          # Check if the build included pdfs
+          if [ -d build/pdf ]; then
+              # Deploying build including pdfs
+              # We expect that we are updating html build of the same commit
+              if diff -q build/commit_sha site/$BRANCH/commit_sha >/dev/null 2>&1; then
+                  # The existing build is for the same commit
+                  # OK to update
+                  echo "- Updating existing pages with PDF build"
+                  rm -rf site/$BRANCH
+                  mv build site/$BRANCH
+              else
+                  # Something is wrong
+                  echo "ERROR: PDF build is trying to overwrite existing, possibly newer build"
+                  exit 1
+              fi
+          else
+              # Deploying build with html only
+              # If there exist a build for the same commit, we don't do anything
+              if diff -q build/commit_sha site/$BRANCH/commit_sha >/dev/null 2>&1; then
+                  echo "- Not updating existing pages"
+              else
+                  echo "- Updating with new HTML build"
+                  rm -rf site/$BRANCH
+                  mv build site/$BRANCH
+              fi
+          fi
 
           # Add redirecting index.html at the root
           cat > site/index.html <<'EOF'