Enable sherlodoc for search

mbarbin · Aug 5, 2024 · 7e1d0d5 · 7e1d0d5
1 parent 2b5fbae
commit 7e1d0d5
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 0 deletions.
diff --git a/dune-project b/dune-project
@@ -63,6 +63,10 @@
  (and
  :with-doc
  (>= 2.4)))
+ (sherlodoc
+ (and
+ :with-doc
+ (>= 0.2)))
  (ppx_compare
  (and
  (>= v0.17)

diff --git a/provider-test.opam b/provider-test.opam
@@ -16,6 +16,7 @@ depends: [
  "eio_main" {>= "1.0"}
  "expect-test-helpers" {>= "v0.17" & < "v0.18"}
  "mdx" {with-doc & >= "2.4"}
+ "sherlodoc" {with-doc & >= "0.2"}
  "ppx_compare" {>= "v0.17" & < "v0.18"}
  "ppx_enumerate" {>= "v0.17" & < "v0.18"}
  "ppx_expect" {>= "v0.17" & < "v0.18"}