diff --git a/src/driver/dune b/src/driver/dune index 1065cb29a2..2f861500b2 100644 --- a/src/driver/dune +++ b/src/driver/dune @@ -1,6 +1,8 @@ (executable (public_name odoc_driver) (package odoc-driver) + (link_deps + (package odoc)) (libraries cmdliner bos