Index: .gitlab-ci.yml
===================================================================
--- .gitlab-ci.yml	(revision e929fc98b2dba2359a092cebd617ce239367b744)
+++ .gitlab-ci.yml	(revision 050ace0a86f6656f8547c1d56a5756e2c42e2a0f)
@@ -3,5 +3,5 @@
   stage: deploy
   script:
-    - python --version
+    - python3 --version
     - pip install -U sphinx
     - sphinx-build -b html doc/rst/ public
