From e3a7f334ca1e9f9f9ea46195a1e71928ea32ce4a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Gr=C3=A9goire=20Henry?= <gregoire.henry@tezos.com>
Date: Mon, 29 Jan 2018 23:22:56 +0100
Subject: [PATCH] CI: fix `publish:pages` (again)

---
 .gitlab-ci.yml | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index d7c8dcdee..e2a22b916 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -406,9 +406,7 @@ publish:pages:
     paths:
     - public
   script:
-    - cd /home/opam/tezos
-    - sudo apk update && sudo apk upgrade
-    - sudo apk add py3-sphinx py3-sphinx_rtd_theme
+    - sudo apk add --no-cache py3-sphinx py3-sphinx_rtd_theme
     - sudo ln -s /usr/bin/sphinx-build-3 /usr/bin/sphinx-build
     - opam install --yes odoc
     - make doc-html && sudo mv docs/_build "${CI_PROJECT_DIR}"/public