From d5d10af079e99ab7a3015215f9f00773e44f2fdd Mon Sep 17 00:00:00 2001
From: Fardale <fardale+git@crans.org>
Date: Wed, 15 Feb 2023 12:12:01 +0100
Subject: [PATCH] CI(doc): use odig to generate documentation

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

diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml
index 017a4bd6..e0ea91df 100644
--- a/.github/workflows/gh-pages.yml
+++ b/.github/workflows/gh-pages.yml
@@ -19,15 +19,17 @@ jobs:
           dune-cache: false
 
       - name: Deps
-        run: opam install -d . --deps-only
+        run: |
+          opam install -d . --deps-only;
+          opam install odig
 
       - name: Build
-        run: opam exec -- dune build @doc
+        run: opam exec -- odig odoc --cache-dir=_doc/ containers containers-data containers-thread
 
       - name: Deploy
         uses: peaceiris/actions-gh-pages@v3
         with:
           github_token: ${{ secrets.GITHUB_TOKEN }}
-          publish_dir: ./_build/default/_doc/_html/
+          publish_dir: ./_doc/html/
           destination_dir: dev
           enable_jekyll: true