diff --git a/odoc-driver.opam b/odoc-driver.opam index 510b96d707..b992aa35f9 100644 --- a/odoc-driver.opam +++ b/odoc-driver.opam @@ -45,6 +45,7 @@ depends: [ "progress" "cmdliner" "sexplib" + "sherlodoc" ] build: [