diff --git a/asai-examples.opam b/asai-examples.opam index 566b376..3f4e840 100644 --- a/asai-examples.opam +++ b/asai-examples.opam @@ -15,7 +15,7 @@ depends: [ "bwd" {>= "2.2"} "menhir" {>= "20220210"} "asai" {= version} - "odoc" {with-doc & >= "2.0"} + "odoc" {with-doc} ] build: [ ["dune" "subst"] {dev} diff --git a/asai-lsp.opam b/asai-lsp.opam index 9b0ee1a..c1bc457 100644 --- a/asai-lsp.opam +++ b/asai-lsp.opam @@ -16,7 +16,7 @@ depends: [ "eio_main" {>= "0.12"} "lsp" {>= "1.15"} "asai" {= version} - "odoc" {with-doc & >= "2.0"} + "odoc" {with-doc} ] build: [ ["dune" "subst"] {dev} diff --git a/asai.opam b/asai.opam index 81f3a21..e523d67 100644 --- a/asai.opam +++ b/asai.opam @@ -15,7 +15,7 @@ depends: [ "bwd" {>= "2.2"} "notty" {>= "0.2.3"} "alcotest" {with-test & >= "1.5"} - "odoc" {with-doc & >= "2.0"} + "odoc" {with-doc} ] build: [ ["dune" "subst"] {dev} diff --git a/dune-project b/dune-project index 4f3de59..64ebe36 100644 --- a/dune-project +++ b/dune-project @@ -22,7 +22,7 @@ (bwd (>= 2.2)) (notty (>= 0.2.3)) (alcotest (and :with-test (>= 1.5))) - (odoc (and :with-doc (>= 2.0))))) + (odoc :with-doc))) (package (name asai-lsp) (synopsis "LSP handler for the package asai") @@ -34,7 +34,7 @@ (eio_main (>= 0.12)) (lsp (>= 1.15)) (asai (= :version)) - (odoc (and :with-doc (>= 2.0))))) + (odoc :with-doc))) (package (name asai-examples) (synopsis "Examples of the package asai") @@ -45,4 +45,4 @@ (bwd (>= 2.2)) (menhir (>= 20220210)) (asai (= :version)) - (odoc (and :with-doc (>= 2.0))))) + (odoc :with-doc)))