diff --git a/sidekick-arith.opam b/sidekick-arith.opam
index bbaa617a..f3d5cdb6 100644
--- a/sidekick-arith.opam
+++ b/sidekick-arith.opam
@@ -19,6 +19,7 @@ depends: [
   "zarith" { >= "1.8" } # constraint for infix ops
   "alcotest" {with-test}
   "qcheck" {with-test & >= "0.16" }
+  "odoc" {with-doc}
 ]
 tags: [ "sat" "smt" ]
 homepage: "https://github.com/c-cube/sidekick"
diff --git a/sidekick-bin.opam b/sidekick-bin.opam
index dfdbc952..b5a39839 100644
--- a/sidekick-bin.opam
+++ b/sidekick-bin.opam
@@ -21,6 +21,7 @@ depends: [
   "menhir"
   "mtime"
   "ocaml" { >= "4.04" }
+  "odoc" {with-doc}
 ]
 tags: [ "sat" "smt" ]
 homepage: "https://github.com/c-cube/sidekick"
diff --git a/sidekick.opam b/sidekick.opam
index b3358ebc..2216081c 100644
--- a/sidekick.opam
+++ b/sidekick.opam
@@ -17,6 +17,7 @@ depends: [
   "msat" { >= "0.9" < "0.10" }
   "ocaml" { >= "4.04" }
   "alcotest" {with-test}
+  "odoc" {with-doc}
 ]
 depopts: [
   "mtime"   # for profiling stuff