Fix the deploy key

We call it DOCUMENTER_KEY_PDF here.

Author: mortenpi

.github/workflows/PDFs.yml

@@ -44,4 +44,4 @@ jobs:
       - run: julia --color=yes pdf/make.jl commit
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
-          DOCUMENTER_KEY: ${{ secrets.DOCUMENTER_KEY }}
+          DOCUMENTER_KEY_PDF: ${{ secrets.DOCUMENTER_KEY_PDF }}