.gitlab-ci.yml: docs:pages: added 'pages: true'

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index a7b7c6761e96ca1d9db148602ddc4ad80f863b2e..c3d40e0fd8f3e48e51393e527f8e0510173a9bf6 100644 (file)
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -845,6 +845,7 @@ docs:pages:
   needs:
     - docs:build
   script: mv doc/html public
+  pages: true
   when: manual
   artifacts:
     paths:
@@ -931,4 +932,4 @@ python:unit:
     paths:
       - unit.junit.xml
 
-# }}}
\ No newline at end of file
+# }}}