ci: Fix GitHub documentation workflow for PDFs

We were missing latexmk dependencies, and the build-docs.sh
script was using the incorrect target (latexpdf generates
the actual PDF attached in the docs).

.github/scripts/build-docs.sh

@@ -3,4 +3,6 @@ set -e
 
 cd "$(dirname $0)/../../documentation/"
 pip3 install -r requirements.txt
-make html latex
+make html
+LATEXMKOPTS='-interaction=nonstopmode' make latexpdf
+

.github/workflows/build-deploy-docs.yml

@@ -21,6 +21,10 @@ jobs:
         with:
           python-version: "3.11"
 
+      - name: Install documentation dependencies
+        run: |
+          apt update && apt install -qqy texlive texlive-latex-recommended texlive-latex-extra texlive-fonts-extra latexmk
+
       - name: Install and configure Poetry
         uses: snok/install-poetry@v1
 
@@ -36,7 +40,7 @@ jobs:
         uses: actions/upload-artifact@v3
         with:
           name: Documentation
-          path: documentation/build/html
+          path: documentation/build/
 
       - name: Deploy
         if: github.ref == 'refs/heads/main'