Add PDF support to devcontainer, clean up doc deps, add VS Code task

- Dockerfile: install texlive-latex-recommended, texlive-fonts-recommended,
  texlive-latex-extra, latexmk so the devcontainer can generate PDFs
- docs.yml: remove redundant 'pip install sphinx_design' from all jobs;
  sphinx_design is already declared in [project.optional-dependencies.docs]
  so 'pip install .[docs]' is sufficient
- dfetch.code-workspace: add 'Build PDF Docs' task (make latexpdf)

https://claude.ai/code/session_014hVQ5UrK1B4N9ar4UfYpm4

Author: claude

.devcontainer/Dockerfile

@@ -15,6 +15,14 @@ RUN apt-get update && apt-get install --no-install-recommends -y \
     subversion=1.14.5-3 && \
     rm -rf /var/lib/apt/lists/*
 
+# Install LaTeX for PDF documentation generation
+RUN apt-get update && apt-get install --no-install-recommends -y \
+    texlive-latex-recommended=2023.20240207-1 \
+    texlive-fonts-recommended=2023.20240207-1 \
+    texlive-latex-extra=2023.20240207-1 \
+    latexmk=1:4.83-1 && \
+    rm -rf /var/lib/apt/lists/*
+
 # Install ruby gem FPM for packaging
 RUN apt-get update && apt-get install --no-install-recommends -y \
     ruby=1:3.3+b1 \

.github/workflows/docs.yml

@@ -31,7 +31,6 @@ jobs:
     - name: Install documentation requirements
       run: |
           pip install .[docs]
-          pip install sphinx_design
 
     - name: Build docs
       run: "make -C doc html"
@@ -55,7 +54,6 @@ jobs:
       - name: Install dependencies
         run: |
           pip install .[docs]
-          pip install sphinx_design
 
       - name: Build landing-page
         run: "make -C doc/landing-page html"
@@ -90,7 +88,6 @@ jobs:
       - name: Install documentation requirements
         run: |
           pip install .[docs]
-          pip install sphinx_design
 
       - name: Install LaTeX
         run: |

dfetch.code-workspace

@@ -97,6 +97,30 @@
 					"panel": "shared"
 				}
 			},
+			{
+				"label": "Build PDF Docs",
+				"type": "shell",
+				"linux": {
+					"command": "make"
+				},
+				"windows": {
+					"command": "make.bat"
+				},
+				"args": [
+					"latexpdf"
+				],
+				"options": {
+					"cwd": "${workspaceFolder}/doc"
+				},
+				"group": {
+					"kind": "build",
+					"isDefault": false
+				},
+				"presentation": {
+					"reveal": "always",
+					"panel": "shared"
+				}
+			},
 			{
 				"label": "Build Landing page",
 				"type": "shell",