Merge pull request ocaml#1197 from EmileTrotignon/sherlodoc-driver-dep

The driver depends on sherlodoc
Julow · Sep 30, 2024 · d16bb2d · d16bb2d
2 parents f3b0823 + 3401a75
commit d16bb2d
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/odoc-driver.opam b/odoc-driver.opam
@@ -44,6 +44,7 @@ depends: [
   "eio_main"
   "progress"
   "cmdliner"
+  "sherlodoc"
 ]
 
 build: [
@@ -60,3 +61,6 @@ build: [
     "@doc" {with-doc}
   ]
 ]
+pin-depends: [
+  [ "sherlodoc.dev" "git+https://github.com/art-w/sherlodoc#0357233acf56936db6760cba573f7e77750b5428"]
+]