From c0f7034b3070a2858a5e3080f98dde6d8ecd0774 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Bj=C3=B6rn=20Pedersen?= <bjoern.pedersen@frm2.tum.de>
Date: Fri, 14 Dec 2018 08:26:35 +0100
Subject: [PATCH] Run publish outside of docker container

Change-Id: I0ac8ee583f305efc7e27155624cfb11e2df8085f
Reviewed-on: https://forge.frm2.tum.de/review/19616
Tested-by: JenkinsCodeReview <bjoern_pedersen@frm2.tum.de>
Reviewed-by: Jens Krueger <jens.krueger@frm2.tum.de>
Reviewed-by: Enrico Faulhaber <enrico.faulhaber@frm2.tum.de>
Reviewed-by: Bjoern Pedersen <bjoern.pedersen@frm2.tum.de>
---
 ci/Jenkinsfile | 16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

diff --git a/ci/Jenkinsfile b/ci/Jenkinsfile
index f57b1d3..55c740d 100644
--- a/ci/Jenkinsfile
+++ b/ci/Jenkinsfile
@@ -190,14 +190,6 @@ def run_docs() {
     ])
     }
 
-    stage('publish') {
-        if (GERRIT_EVENT_TYPE == 'change-merged')
-        {
-            sh '''
-            rsync -rlv doc/_build/* /share/ictrl/public/doc/secop
-            '''
-        }
-    }
 }
 
 
@@ -252,6 +244,14 @@ node("master") {
         img = docker.image('secop_docs:latest')
         img.inside {
             run_docs()
+        }
+        stage('publish') {
+            if (GERRIT_EVENT_TYPE == 'change-merged')
+            {
+                sh '''
+                rsync -rlv doc/_build/* /share/ictrl/public/doc/secop
+                '''
+            }
         }}
     }
 }