1 files changed, 1 insertions, 4 deletions

diff --git a/disml.opam b/disml.opam
index d4b822c..260108f 100644
--- a/disml.opam
+++ b/disml.opam
@@ -32,8 +32,5 @@ depends: [
 build: [
   ["dune" "subst"] {pinned}
   ["dune" "build" "-p" name "-j" jobs]
-]
-build-doc: [
-  ["dune" "subst"] {pinned}
-  ["dune" "build" "-p" "@doc" "-j" jobs]
+  ["dune" "build" "-p" "@doc" "-j" jobs] {with-doc}
 ]
\ No newline at end of file