From 11181e69b818452a0b01d388ca5ce0879e6c3a3d Mon Sep 17 00:00:00 2001 From: David Steele Date: Thu, 6 Dec 2018 09:04:01 -0500 Subject: [PATCH] Disable Centos/RHEL 7 documentation builds. These were introduced in 33fa2ede and ran for a day or so before they started failing consistently on CI. Local builds work fine. Disable them to free the pipeline for further commits while we determine the issue. --- doc/release.pl | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/doc/release.pl b/doc/release.pl index 844b0522c..53797cd0f 100755 --- a/doc/release.pl +++ b/doc/release.pl @@ -136,10 +136,10 @@ eval executeTest('docker rm -f $(docker ps -a -q)', {bSuppressError => true}); # Generate deployment docs for RHEL/Centos 7 - &log(INFO, "Generate RHEL/CentOS 7 documentation"); - - executeTest("${strDocExe} --deploy --key-var=os-type=centos7 --out=pdf", {bShowOutputAsync => true}); - executeTest("${strDocExe} --deploy --cache-only --key-var=os-type=centos7 --out=pdf"); + # &log(INFO, "Generate RHEL/CentOS 7 documentation"); + # + # executeTest("${strDocExe} --deploy --key-var=os-type=centos7 --out=pdf", {bShowOutputAsync => true}); + # executeTest("${strDocExe} --deploy --cache-only --key-var=os-type=centos7 --out=pdf"); # Generate deployment docs for RHEL/Centos 6 &log(INFO, "Generate RHEL/CentOS 6 documentation");