From 97d86d4d0a0af6ad432cb95d93c7476082f6e4a5 Mon Sep 17 00:00:00 2001
From: "J.Stark" <rho.ajax@gmail.com>
Date: Fri, 8 Mar 2024 12:07:04 +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 6b965a565..fbee22168 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -34,7 +34,7 @@ jobs:
       
       - name: Build doc
         run: | 
-            odoc --version
+            opam exec -- 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/