Test the pre-generated man pages in GitLab CI

Add an extra job for a build from tarball, but without sphinx-build and
enable RUN_MAKE_INSTALL to check that man pages were generated and
installed.

Disable the RUN_MAKE_INSTALL on the systems without sphinx-build (sid).

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index fea6bd2f2e7e54e4ad420c1bb438896d0bc8810a..78a08ecfc1af7078144b6f8295a5d76090cc02c9 100644 (file)
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -635,6 +635,21 @@ unit:gcc:oraclelinux9:amd64:
     - job: gcc:oraclelinux9:amd64
       artifacts: true
 
+gcc:tarball:nosphinx:
+  variables:
+    CC: gcc
+    CFLAGS: "${CFLAGS_COMMON}"
+    EXTRA_CONFIGURE: "--with-libidn2 --disable-developer"
+    RUN_MAKE_INSTALL: 1
+  <<: *oraclelinux_9_amd64_image
+  <<: *build_job
+  before_script:
+    - (! command -v sphinx-build >/dev/null)
+    - *unpack_release_tarball
+  needs:
+    - job: tarball-create
+      artifacts: true
+
 # Jobs for regular GCC builds on Debian 11 "bullseye" (amd64)
 # (The second unit test job also executes unstable unit tests.)