Skip to content

Commit

Permalink
driver depend on sherlodoc
Browse files Browse the repository at this point in the history
  • Loading branch information
EmileTrotignon committed Sep 25, 2024
1 parent f3b0823 commit 3401a75
Showing 1 changed file with 4 additions and 0 deletions.
4 changes: 4 additions & 0 deletions odoc-driver.opam
Original file line number Diff line number Diff line change
Expand Up @@ -44,6 +44,7 @@ depends: [
"eio_main"
"progress"
"cmdliner"
"sherlodoc"
]

build: [
Expand All @@ -60,3 +61,6 @@ build: [
"@doc" {with-doc}
]
]
pin-depends: [
[ "sherlodoc.dev" "git+https://github.com/art-w/sherlodoc#0357233acf56936db6760cba573f7e77750b5428"]
]

0 comments on commit 3401a75

Please sign in to comment.