build: install QuiverTools in docs build

I did `]dev ..` after activating this environment in the REPL. I hope this is reproducible, but I fear I've still done something wrong.
QuiverTools · Jan 17, 2025 · 50c9780 · 50c9780
1 parent 7ff5c93
commit 50c9780
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 0 deletions.
diff --git a/docs/Project.toml b/docs/Project.toml
@@ -1,2 +1,3 @@
 [deps]
 Documenter = "e30172f5-a6a5-5a46-863b-614d45cd2de4"
+QuiverTools = "dc2e10be-62a3-4315-9c95-46bb97ac152d"
diff --git a/docs/make.jl b/docs/make.jl
@@ -1,3 +1,7 @@
+using Pkg;
+
+Pkg.activate(".")
+
 using Documenter
 using QuiverTools