From 4e64f837327a366f994c3f65b10b70924aa702fd Mon Sep 17 00:00:00 2001
From: "J.Stark" <rho.ajax@gmail.com>
Date: Fri, 8 Mar 2024 12:03:28 +0100
Subject: [PATCH] editing...

---
 .github/workflows/main.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 35d559649..6b965a565 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -34,7 +34,7 @@ jobs:
       
       - name: Build doc
         run: | 
-            odc --version
+            odoc --version
             opam exec -- dune build @doc --verbose 2>&1
             ls _build/default/_doc/_html/owl/Owl_dense_matrix
             cp docs/*.js  _build/default/_doc/_html/