From: Patrick Steinhardt <ps@pks.im>
Date: Thu, 06 Jun 2024 08:01:10 GMT
Subject: [PATCH v2 3/4] gitlab-ci: add job to run `make check-docs`
Message-ID: <d6d3628797a70ffff32676d3fd64f5179b19c94d.1717660597.git.ps@pks.im>
In-Reply-To: <cover.1717660597.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