diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 6faf6660..2b383640 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -2,6 +2,7 @@ stages:
- pre-check
- build
- test
+ - deploy
# These stanzas do some common management tasks before and after the
# job-specific before_script and after_script stanzas are run.
@@ -233,6 +234,32 @@ docker-build-push:
IMAGE: "$CI_REGISTRY/sequoia-pgp/sequoia-sq"
DOCKER_HOST: tcp://docker:2376
+pages:
+ stage: deploy
+ image: 192.168.122.1:5000/sequoia-pgp/build-docker-image/trixie-pandoc:latest
+ script:
+ - ASSET_OUT_DIR=/tmp/assets cargo doc --no-deps -p sequoia-sq
+ - mkdir public
+ - mv -v target/doc public/impl
+
+ - ( cd /tmp/assets/man-pages; for M in *; do pandoc -s $M | sed -e 's|\([^<]*\)(1)|\1(1)|g' >$M.html ; done )
+ - mkdir public/man
+ - mv -v /tmp/assets/man-pages/*.html public/man
+
+ - mkdir public/subplot
+ - pandoc -s -o public/subplot/sq-subplot.html sq-subplot.md
+ - pandoc -s -o public/subplot/sq-subplot.pdf sq-subplot.md
+
+ - echo "/sequoia-sq/ /sequoia-sq/man/sq.1.html 302" > public/_redirects
+ - echo "/sequoia-sq/impl /sequoia-sq/impl/sq/index.html 302" > public/_redirects
+ - echo "/sequoia-sq/man /sequoia-sq/man/sq.1.html 302" > public/_redirects
+ - echo "/sequoia-sq/subplot /sequoia-sq/subplot/sq-subplot.html 302" >> public/_redirects
+ artifacts:
+ paths:
+ - public
+ only:
+ - main
+
variables:
DEBIAN_FRONTEND: noninteractive
CARGO_HOME: $CI_PROJECT_DIR/../cargo