ci: publish html documentation

.gitlab-ci.yml

@@ -371,3 +371,22 @@ Generate HTML pages:
   artifacts:
     paths:
       - ${HTML_BUILD_DIRECTORY}
+
+Publish HTML pages:
+  extends: .common_html
+  variables:
+    GIT_STRATEGY: none
+    HTML_PUBLIC_DIRECTORY: ${CI_PROJECT_DIR}/public
+  needs:
+    - Generate HTML pages
+  script:
+    - mv "${HTML_BUILD_DIRECTORY}" "${HTML_PUBLIC_DIRECTORY}"
+  tags:
+    - alpine
+  rules:
+    - if: $CI_COMMIT_BRANCH == "master"
+  interruptible: false
+  artifacts:
+    paths:
+      - ${HTML_PUBLIC_DIRECTORY}
+  pages: true