From 307bcdf833fa0bcdf8619f9f73453e99e2e7032f Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@ens-rennes.fr>
Date: Fri, 13 Jan 2023 00:43:59 +0100
Subject: [PATCH] Fix the pages job on gitlab CI

---
 .gitlab-ci.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index d8efd80d40..e56e10f9ce 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -58,6 +58,7 @@ pages:
   stage: deploy
   script:
   - pip3 install --requirement docs/requirements.txt
+  - cd docs
   - LC_ALL=C.UTF-8 ./Build.sh
   - mv build/html ../public
   # - The CSS contains a reference to a font or something, not something we gonna fix on our side
-- 
2.20.1