From ecf51ce32b4a6fdc038383c1f8b0910055ee7e35 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Fri, 19 Jan 2024 09:09:06 -0500
Subject: [PATCH] CI: use odoc, not odig

---
 .github/workflows/gh-pages.yml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml
index 74a19b3..1f3e479 100644
--- a/.github/workflows/gh-pages.yml
+++ b/.github/workflows/gh-pages.yml
@@ -21,15 +21,15 @@ jobs:
           dune-cache: true
 
       - name: Deps
-        run: opam install odig trace trace-tef trace-fuchsia ppx_trace
+        run: opam install trace trace-tef trace-fuchsia ppx_trace -d
 
       - name: Build
-        run: opam exec -- odig odoc --cache-dir=_doc/ trace trace-tef trace-fuchsia ppx_trace
+        run: opam exec -- dune build @doc
 
       - name: Deploy
         uses: peaceiris/actions-gh-pages@v3
         with:
           github_token: ${{ secrets.GITHUB_TOKEN }}
-          publish_dir: ./_doc/html
+          publish_dir: ./_build/default/_doc/_html/
           destination_dir: .
           enable_jekyll: true