From ab43be3527aa1e5eb4ce6e004581778098bba51d Mon Sep 17 00:00:00 2001
From: John Blum <jblum@vmware.com>
Date: Mon, 13 Dec 2021 19:14:18 -0800
Subject: [PATCH] Disable the 'Deploy Docs' Jenkins CI build pipeline stage.

The are not STDG project docs (yet)!
---
 Jenkinsfile | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/Jenkinsfile b/Jenkinsfile
index 2ebe8b8..12c2b36 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -54,6 +54,7 @@ pipeline {
 			}
 		}
 
+/*
 		stage ('Deploy Docs') {
 			options {
 				timeout(time: 15, unit: "MINUTES")
@@ -76,6 +77,7 @@ pipeline {
 				}
 			}
 		}
+ */
 
 		stage ('Deploy Artifacts') {
 			options {