From f8576f396a8e5dfa05eb7b80c8f38c8275222b4b Mon Sep 17 00:00:00 2001
From: Jules Aguillon <jules@j3s.fr>
Date: Tue, 1 Oct 2024 17:33:33 +0200
Subject: [PATCH] Revert "driver depend on sherlodoc"

This reverts commit 3401a751a0d7be691c90f5dd1aa9ffc18e327662.
---
 odoc-driver.opam | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/odoc-driver.opam b/odoc-driver.opam
index d6a629601a..7c8c5ec04b 100644
--- a/odoc-driver.opam
+++ b/odoc-driver.opam
@@ -44,7 +44,6 @@ depends: [
   "eio_main"
   "progress"
   "cmdliner"
-  "sherlodoc"
 ]
 
 build: [
@@ -61,6 +60,3 @@ build: [
     "@doc" {with-doc}
   ]
 ]
-pin-depends: [
-  [ "sherlodoc.dev" "git+https://github.com/art-w/sherlodoc#0357233acf56936db6760cba573f7e77750b5428"]
-]
\ No newline at end of file