Try publishing the manual again

.github/workflows/build.yml

@@ -29,6 +29,18 @@ on:
         required: false
         default: false
         type: boolean
+      publish_manual:
+        required: false
+        default: false
+        type: boolean
+      manual_netlify_auth_token:
+        required: false
+        default: ""
+        type: string
+      manual_netlify_site_id:
+        required: false
+        default: ""
+        type: string
 
 jobs:
   build:
@@ -179,6 +191,7 @@ jobs:
       - name: Build manual
         run: nix build .#hydraJobs.manual
       - uses: nwtgck/actions-netlify@v3.0
+        if: inputs.publish_manual
         with:
           publish-dir: "./result/share/doc/nix/manual"
           production-branch: detsys-main
@@ -192,8 +205,8 @@ jobs:
           enable-commit-status: true
           overwrites-pull-request-comment: true
         env:
-          NETLIFY_AUTH_TOKEN: ${{ secrets.NETLIFY_AUTH_TOKEN }}
+          NETLIFY_AUTH_TOKEN: ${{ inputs.manual_netlify_auth_token }}
-          NETLIFY_SITE_ID: ${{ secrets.NETLIFY_SITE_ID }}
+          NETLIFY_SITE_ID: ${{ inputs.manual_netlify_site_id }}
 
   success:
     needs:

.github/workflows/ci.yml

@@ -41,6 +41,9 @@ jobs:
       run_tests: true
       run_vm_tests: true
       run_regression_tests: true
+      publish_manual: true
+      manual_netlify_auth_token: ${{ secrets.NETLIFY_AUTH_TOKEN }}
+      manual_netlify_site_id: ${{ secrets.NETLIFY_SITE_ID }}
 
   build_aarch64-linux:
     uses: ./.github/workflows/build.yml