Skip to content

Commit 9f3548b

Browse files
EmileTrotignonjonludlam
authored andcommitted
add odoc package as a link deps to the driver
1 parent 8a57083 commit 9f3548b

File tree

1 file changed

+2
-0
lines changed

1 file changed

+2
-0
lines changed

src/driver/dune

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,8 @@
11
(executable
22
(public_name odoc_driver)
33
(package odoc-driver)
4+
(link_deps
5+
(package odoc))
46
(libraries
57
cmdliner
68
bos

0 commit comments

Comments
 (0)