From 0ad561a8e78c8e8b06e49ad30a8850090a8d61ff Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Mon, 6 Apr 2026 17:58:19 -0400
Subject: [PATCH] use better docker image for doc

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

diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml
index df6b80e3..e1ba8a61 100644
--- a/.github/workflows/gh-pages.yml
+++ b/.github/workflows/gh-pages.yml
@@ -9,13 +9,13 @@ jobs:
   deploy:
     name: Deploy doc
     runs-on: ubuntu-latest
-    container: ghcr.io/c-cube/c-cube-commmon/ci-5.4:latest
+    container: ghcr.io/c-cube/c-cube-commmon/ci-doc-5.3:latest
 
     steps:
       - uses: actions/checkout@v6
 
       - name: Deps
-        run: opam install odig containers containers-data
+        run: opam install containers containers-data
 
       - name: Build
         run: opam exec -- odig odoc --cache-dir=_doc/ containers containers-data
@@ -25,5 +25,5 @@ jobs:
         with:
           github_token: ${{ secrets.GITHUB_TOKEN }}
           publish_dir: ./_doc/html/
-          destination_dir: dev
-          enable_jekyll: true
+          destination_dir: .
+          enable_jekyll: false