Remove pages_docker. Pages will now be generated on another machine.

.gitlab-ci.yml

@@ -79,18 +79,3 @@ pages_shell:
     - shell
 
 
-pages_docker:
-  extends: .pages_base
-  image: docker-registry.esrf.fr/dau/tomwer:python3.5_stretch_pyqt5
-  variables:
-    LOCAL_REPO: $LOCAL_REPO_DOCKER
-    VENV_DIR: $VENV_DIR_DOCKER
-  tags:
-    - docker
-  before_script:
-    - apt install --yes pandoc
-    - mkdir -p $VENV_DIR
-    - python -m venv $VENV_DIR
-    - source $VENV_DIR/bin/activate
-    - pip install --upgrade pip
-    - pip install sphinx cloud_sptheme nbsphinx recommonmark numpy