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).

(cherry picked from commit 8f2e1e15cca836e4503388eef39b0b4188e09862)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 6c970b08511d20d69f412192db7fc94e5d4b00e2..0b208bf06b9fd13366177e77c676f4ee0707676c 100644 (file)
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -670,6 +670,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 10 "buster" (amd64)
 
 gcc:buster:amd64: