From 84fd8e34488e8a949cc8694b47c896fe290122cb Mon Sep 17 00:00:00 2001
From: Vadim Godunko <godunko@adacore.com>
Date: Tue, 12 Sep 2023 17:49:16 +0400
Subject: [PATCH] CI job to build documentation.

---
 .gitlab-ci.yml | 23 +++++++++++++++++++++++
 1 file changed, 23 insertions(+)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index ac2d8f2..3f368ba 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -47,6 +47,29 @@ build_and_test:
     reports:
       junit: xunit_output.xml
 
+build_doc:
+  services:
+     - image:e3
+  stage: build_and_test
+  rules:
+    - if: $CI_PIPELINE_SOURCE == 'merge_request_event'
+      changes:
+        - documentation/users_guide/*
+    - if: $CI_PIPELINE_SOURCE == 'pipeline'
+      changes:
+        - documentation/users_guide/*
+    - if: $CI_COMMIT_BRANCH == 'master' && $CI_COMMIT_TITLE =~ /Merge branch.*/
+      changes:
+        - documentation/users_guide/*
+    - if: $CI_COMMIT_BRANCH == 'edge' && $CI_COMMIT_TITLE =~ /Merge branch.*/
+      changes:
+        - documentation/users_guide/*
+  script:
+    - !reference [.basic-setup]
+
+    # Build gnatdoc
+    - anod build gnatdoc4-doc $ACI_TRACK_QUALIFIER
+
 downstream_ci:
   stage: downstream_ci
   rules: