ci: documentation workflow is now only triggered when the Documentation subdirectory has modifications, and does not build pdfs.

.github/workflows/doc.yml

@@ -12,9 +12,17 @@
 #
 ---
 name: "Build Documentation"
+
 on:
-  pull_request:
   push:
+    branches:
+      - master
+    paths:
+      - 'Documentation/**'
+
+  pull_request:
+    paths:
+      - 'Documentation/**'
 
 concurrency:
   group: docs-${{ github.event.pull_request.number || github.ref }}
@@ -31,19 +39,12 @@ jobs:
       - uses: actions/setup-python@v5
         with:
           python-version: '3.8'
-      - name: Install LaTeX packages
-        run: |
-          sudo apt-get update -y
-          sudo apt-get install -y \
-            texlive-latex-recommended texlive-fonts-recommended \
-            texlive-latex-base texlive-latex-extra latexmk texlive-luatex \
-            fonts-freefont-otf xindy
       - name: Generate Documentation
         run: |
           cd Documentation/
           pip3 install pipenv
           pipenv install
-          pipenv run make html latexpdf
+          pipenv run make html
       - uses: actions/upload-artifact@v4
         with:
           name: sphinx-docs