From 7811ee514e43f4b4a823df40ddc5264dc08f2706 Mon Sep 17 00:00:00 2001
From: Olivier Parcollet <olivier.parcollet@ipht.fr>
Date: Tue, 23 Apr 2019 16:53:50 -0400
Subject: [PATCH] Enable doc building on Jenkins

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

diff --git a/Jenkinsfile b/Jenkinsfile
index b7d3e649..c45f79e2 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -6,7 +6,7 @@ def documentationPlatform = "ubuntu-clang"
 def triqsBranch = env.CHANGE_TARGET ?: env.BRANCH_NAME
 def triqsProject = '/TRIQS/triqs/' + triqsBranch.replaceAll('/', '%2F')
 /* whether to publish the results (disabled for template project) */
-def publish = !env.BRANCH_NAME.startsWith("PR-") && projectName != "app4triqs"
+def publish = !env.BRANCH_NAME.startsWith("PR-")
 
 properties([
   disableConcurrentBuilds(),