From 842292e0be951c352bac7e4aec6ad59028fed13c Mon Sep 17 00:00:00 2001
From: Oliver Drotbohm <odrotbohm@vmware.com>
Date: Tue, 20 Apr 2021 13:16:15 +0200
Subject: [PATCH] #1514 - Enable documentation build for maintenance branch and
 releases.

---
 Jenkinsfile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 101998ee..1f682da7 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -154,8 +154,8 @@ pipeline {
 		stage('Release documentation') {
 			when {
 				anyOf {
-					branch 'main'
-					branch 'release'
+					branch '1.3.x'
+					branch 'release-1.3'
 				}
 			}
 			agent {