Index: mkdocs.yml
==================================================================
--- mkdocs.yml
+++ mkdocs.yml
@@ -24,10 +24,10 @@
   - smarty
   - def_list
 
 plugins:
   - search
-  - with-pdf:
-      cover_subtitle: "Spring 2023"
-      toc_title: "Contents"
-      toc_level: 1
-      ordered_chapter_level: 1
+# - with-pdf:
+#     cover_subtitle: "Spring 2024"
+#     toc_title: "Contents"
+#     toc_level: 1
+#     ordered_chapter_level: 1

Index: shell.nix
==================================================================
--- shell.nix
+++ shell.nix
@@ -1,12 +1,9 @@
 with import <nixpkgs> {};
 mkShell {
   venvDir = ".venv";
-  buildInputs = with python3.pkgs; [
+  buildInputs = [
     haskellPackages.pandoc
-    weasyprint
-    venvShellHook
+    (python310.withPackages (p: with p; [ weasyprint mkdocs ]))
+    python310Packages.venvShellHook
   ];
-  postShellHook = ''
-    pip install mkdocs-with-pdf
-  '';
 }