Add odoc-driver to odoc.opam

jonludlam · Oct 27, 2024 · a24820c · a24820c
1 parent e4897c7
commit a24820c
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/odoc.opam b/odoc.opam
@@ -64,6 +64,7 @@ depends: [
 
 x-extra-doc-deps: [
   "core" {= "0.17.1"}
+  "odoc-driver" {= version}
 ]