Add pages to .gitlab-ci.yml

Use this to regenerate the manual and store it in the pages for the
project.

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 46a9e6478ba4819f04872e116977dde4989cc36f..46837193bc3a87123151c76d2f910ec01322bc55 100644 (file)
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -2,9 +2,23 @@ image: mutt/ubuntu:16.04
 
 stages:
   - build
+  - deploy
 
 build:
   stage: build
   script:
     - ./prepare --disable-dependency-tracking --enable-gpgme --enable-sidebar --enable-compressed --enable-pop --enable-imap --enable-smtp --enable-debug --enable-hcache
     - make -j
+
+pages:
+  stage: deploy
+  script:
+    - ./prepare
+    - make update-doc
+    - mkdir -p public
+    - cp doc/manual.html public/manual-dev.html
+  artifacts:
+    paths:
+      - public
+  only:
+    - master