From: Martin Quinson <martin.quinson@ens-rennes.fr>
Date: Mon, 5 Jun 2023 12:33:15 +0000 (+0200)
Subject: CI pages: try to use the Debian version of the python packages
X-Git-Tag: v3.34~64
X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/9cb1dca09117bcdd3cfc390be8a343cfadaa65da

CI pages: try to use the Debian version of the python packages
---

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 67a82024cd..efb19500f7 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -86,12 +86,13 @@ pip:
 pages:
   stage: deploy
   script:
-  - pip3 install --requirement docs/requirements.txt
+  - apt install python3-breathe python3-sphinx python3-sphinx-rtd-theme python3-sphinx-copybutton python3-sphinx-tabs
+ # - pip3 install --requirement docs/requirements.txt # Forbidden in Debian:12
   - 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
-#not installed   - linkchecker --ignore-url='.*\.css$' ../public
+# not installed   - linkchecker --ignore-url='.*\.css$' ../public
   # From time to time, we should check external links with the
   # following, but it has a lot of false positive
   # - linkchecker --ignore-url='.*\.css$' --check-extern ../public
diff --git a/docs/requirements.txt b/docs/requirements.txt
index a98401b567..d6238d6ed9 100644
--- a/docs/requirements.txt
+++ b/docs/requirements.txt
@@ -1,5 +1,5 @@
 breathe>=4.26
-sphinx>=3.4.3,<4.0
+sphinx
 sphinx_rtd_theme>=0.5.2
 # sphinx_tabs v1.2.1 is required for Sphinx 2
 sphinx_tabs>=1.2.1