diff --git a/GT.opam b/GT.opam index 90a45efc..c0ffebf3 100644 --- a/GT.opam +++ b/GT.opam @@ -32,9 +32,8 @@ depends: [ "logger-p5" {build} "bisect_ppx" {build} "conf-m4" {build} - "doc" {with-doc} - "odig" {with-doc} "odoc" {with-doc} + "odig" {with-doc} ] build: [ ["dune" "subst"] {dev} diff --git a/dune-project b/dune-project index 2fa7a652..71ea235b 100644 --- a/dune-project +++ b/dune-project @@ -43,7 +43,7 @@ (logger-p5 :build) (bisect_ppx :build) (conf-m4 :build) - (doc :with-doc) + (odoc :with-doc) (odig :with-doc) ; ))