[PATCH 3/4] gitlab-ci: add job to run `make check-docs`

From: Patrick Steinhardt <ps@pks.im>
Date: Jun 5, 2024, 05:16 UTC
Message-ID: <a44d57a7328e5964111ae9b3abc87cba93d9a1d7.1717564310.git.ps@pks.im>
In-Reply-To: <cover.1717564310.git.ps@pks.im>

Add another job to execute `make check-docs`, which lints our documentation and makes sure that expected manpages exist. This job mirrors the same job that we already have for GitHub Actions.

Signed-off-by: Patrick Steinhardt <ps@pks.im>
---
 .gitlab-ci.yml | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index f676959ca0..37b991e080 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -122,3 +122,12 @@ check-whitespace:
     - ./ci/check-whitespace.sh "$CI_MERGE_REQUEST_TARGET_BRANCH_SHA"
   rules:
     - if: $CI_PIPELINE_SOURCE == 'merge_request_event'
+
+documentation:
+  image: ubuntu:latest
+  variables:
+    jobname: Documentation
+  before_script:
+    - ./ci/install-dependencies.sh
+  script:
+    - ./ci/test-documentation.sh

-- 
2.45.2.409.g7b0defb391.dirty