From 8998b430cbb4382aa4bee4f25dcb58e6bdfd7bbc Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@ens-rennes.fr>
Date: Sun, 10 Nov 2019 21:55:16 +0100
Subject: [PATCH] gitlab-ci: define PYTHONPATH explicitly to see if it helps

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

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index edb2cb061f..b3f0665323 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -11,7 +11,7 @@ pages:
   - make -j4
   - pip3 install --requirement docs/requirements.txt
   - cd docs
-  - LC_ALL=C.UTF-8 SPHINXOPTS=-vvv ./Build.sh || (cat /tmp/sphinx-err-* ; false)
+  - LC_ALL=C.UTF-8 SPHINXOPTS=-vv PYTHONPATH=/builds/simgrid/simgrid/docs/source/_ext/autodoxy ./Build.sh
   - mv build/html ../public
   # - The CSS contains a reference to a font or something, not something we gonna fix on our side
   # - The javasphinx output does not exist in the git, so the "edit on FramaGit" link is broken.
-- 
2.20.1