From 55f8e7df48dc1efdded291c8683ffa4ff2398800 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?St=C3=A9phane=20Glondu?= <steph@glondu.net>
Date: Mon, 21 Aug 2023 14:14:15 +0200
Subject: [PATCH] Another attempt at fixing gh-pages workflow (#229)

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

diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml
index c640c755..42983cbc 100644
--- a/.github/workflows/gh-pages.yml
+++ b/.github/workflows/gh-pages.yml
@@ -25,6 +25,8 @@ jobs:
 
       - name: Deps
         run: opam install -d . --deps-only
+
+      - name: Odoc
         run: opam install odoc
 
       - name: Build