Index: .gitlab-ci.yml
===================================================================
--- .gitlab-ci.yml	(revision 34f7c449b7de2753dca50ce5548d7eecde85d55f)
+++ .gitlab-ci.yml	(revision 7bdcacf2fc0d898d4ebf3818fc110f3f39695365)
@@ -3,4 +3,6 @@
   stage: deploy
   script:
+    - python3 --version
+    - pip install -U sphinx
     - sphinx-build -b html doc/rst/ public
   artifacts:
