From 9b5eae9cdebd0cdb9be13c9c7740eaa0a883024b Mon Sep 17 00:00:00 2001
From: Brad King <brad.king@kitware.com>
Date: Fri, 12 Mar 2021 12:58:29 -0500
Subject: gitlab-ci: remove redundant sphinx build from release-style CI jobs

The Sphinx build is mostly serial and takes a long time.  All our CI
pipelines (packaging, integration branches, merge requests) have a
dedicated job for the Sphinx build.
---
 .gitlab/os-linux.yml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.gitlab/os-linux.yml b/.gitlab/os-linux.yml
index e36d97d..e40760e 100644
--- a/.gitlab/os-linux.yml
+++ b/.gitlab/os-linux.yml
@@ -253,7 +253,8 @@
     script:
         # Bootstrap.
         - mkdir -p build/
-        - cp -v Utilities/Release/linux/$CMAKE_ARCH/cache.txt build/CMakeCache.txt
+        # Exclude documentation.  A job dependency provides it for packaging.
+        - sed '/^# Build doc/,/^$/d' Utilities/Release/linux/$CMAKE_ARCH/cache.txt > build/CMakeCache.txt
         # Make sccache available.
         - .gitlab/ci/sccache.sh
         - export PATH=$PWD/.gitlab:$PATH
-- 
cgit v0.12