From f580b0f3d7c5f6ce3b3b941014b6ff5cc445b0e4 Mon Sep 17 00:00:00 2001
From: Jules Aguillon <jules@j3s.fr>
Date: Wed, 9 Oct 2024 17:21:14 +0200
Subject: [PATCH] Driver depends on sherlodoc

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

diff --git a/odoc-driver.opam b/odoc-driver.opam
index 510b96d707..b992aa35f9 100644
--- a/odoc-driver.opam
+++ b/odoc-driver.opam
@@ -45,6 +45,7 @@ depends: [
   "progress"
   "cmdliner"
   "sexplib"
+  "sherlodoc"
 ]
 
 build: [