From d75ef8eb65a56ecec6613458017a0c83f7a9ed34 Mon Sep 17 00:00:00 2001
From: Mu Li <muli@cs.cmu.edu>
Date: Fri, 9 Jun 2017 23:17:50 -0700
Subject: [PATCH] fix doc build on ci (#6638)

---
 Jenkinsfile | 11 +++++------
 1 file changed, 5 insertions(+), 6 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 08c1e000050d..df39672c5ed2 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -352,12 +352,11 @@ stage('Integration Test') {
 }
 
 stage('Deploy') {
-  parallel 'Doc': {
-    node('linux') {
-      ws('workspace/docs') {
-        if (env.BRANCH_NAME == "master") {
-          sh "make docs"
-        }
+  node('linux') {
+    ws('workspace/docs') {
+      if (env.BRANCH_NAME == "master") {
+        init_git()
+        sh "make docs"
       }
     }
   }