From 10e5fa777ba90a18c56146590cf2ac96e3370fd7 Mon Sep 17 00:00:00 2001 From: Kakadu Date: Tue, 30 Jul 2024 15:40:30 +0300 Subject: [PATCH] Fix spelling Signed-off-by: Kakadu --- GT.opam | 3 +-- dune-project | 2 +- 2 files changed, 2 insertions(+), 3 deletions(-) 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) ; ))