Skip to content

Commit

Permalink
odoc-driver: Add 'odoc-md' as a dependency
Browse files Browse the repository at this point in the history
  • Loading branch information
Julow authored and jonludlam committed Jan 23, 2025
1 parent e9ede95 commit 8568008
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions odoc-driver.opam
Original file line number Diff line number Diff line change
Expand Up @@ -35,6 +35,7 @@ documentation for installed packages.
depends: [
"ocaml" {>= "5.1.0"}
"odoc" {= version}
"odoc-md"
"bos"
"fpath"
"yojson"
Expand Down

0 comments on commit 8568008

Please sign in to comment.