From 14f5960a6ee1ba1c0836d38849300551ebe06ca7 Mon Sep 17 00:00:00 2001
From: Pedro Larroy <pedro.larroy.lists@gmail.com>
Date: Thu, 10 Jan 2019 15:53:04 +0100
Subject: [PATCH] Increase timeout also for docs

---
 docs/Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/Jenkinsfile b/docs/Jenkinsfile
index b65bfad4247b..676204291893 100644
--- a/docs/Jenkinsfile
+++ b/docs/Jenkinsfile
@@ -21,7 +21,7 @@
 // See documents at https://jenkins.io/doc/book/pipeline/jenkinsfile/
 
 // timeout in minutes
-max_time = 120
+max_time = 180
 
 node('restricted-utility') {
   // Loading the utilities requires a node context unfortunately