From 856800873953bd832e5f2aa3d736128b5c3e9476 Mon Sep 17 00:00:00 2001
From: Jules Aguillon <jules@j3s.fr>
Date: Thu, 23 Jan 2025 16:23:23 +0100
Subject: [PATCH] odoc-driver: Add 'odoc-md' as a dependency

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

diff --git a/odoc-driver.opam b/odoc-driver.opam
index dfb7e45cc9..09c6bcce07 100644
--- a/odoc-driver.opam
+++ b/odoc-driver.opam
@@ -35,6 +35,7 @@ documentation for installed packages.
 depends: [
   "ocaml" {>= "5.1.0"}
   "odoc" {= version}
+  "odoc-md"
   "bos"
   "fpath"
   "yojson"