CI: Integrated build_docs into pages job and used artifacts to avoid cloning the repo twice

Former-commit-id: 59988df3

.gitlab-ci.yml

@@ -42,21 +42,10 @@ test_with_coverage:
 
   artifacts:
     paths:
+      - make_doc.sh # Keep doc script and folder for pages
+      - docs
       - htmlcov
   coverage: "/TOTAL.+ ([0-9]{1,3}%)/"
-  only:
-  - master
-  - web
-
-build_docs:
-  stage: test
-
-  script:
-    - ./make_doc.sh
-
-  artifacts:
-    paths:
-      - docs/html
   only:
     - master
     - web
@@ -66,6 +55,7 @@ pages:
   variables:
     GIT_STRATEGY: none # Skip all git operations as this stage only works with artifacts
   script:
+    - ./make_doc.sh
     - mkdir .public
     - ls docs/html/
     - cp -r docs/html/* .public
@@ -76,7 +66,6 @@ pages:
     - public
   dependencies:
     - test_with_coverage
-    - build_docs
   only:
     - master
     - web