Fix spelling

Signed-off-by: Kakadu <[email protected]>
PLTools · Jul 30, 2024 · 10e5fa7 · 10e5fa7
1 parent 607b43a
commit 10e5fa7
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 3 deletions.
diff --git 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
@@ -43,7 +43,7 @@
   (logger-p5 :build)
   (bisect_ppx :build)
   (conf-m4 :build)
-  (doc :with-doc)
+  (odoc :with-doc)
   (odig :with-doc)
   ;
   ))