From bc50783c26dc573a361c4d3a90fa158ce157b262 Mon Sep 17 00:00:00 2001
From: Emile Trotignon <emile.trotignon@gmail.com>
Date: Wed, 25 Sep 2024 16:04:21 +0200
Subject: [PATCH] driver depend on sherlodoc

---
 odoc-driver.opam | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/odoc-driver.opam b/odoc-driver.opam
index 7c8c5ec04b..d6a629601a 100644
--- 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"]
+]
\ No newline at end of file