From 92e421a9396f1b247757771e32844fa71996b980 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 13:44:52 +0100
Subject: [PATCH] Adjust path for docs

Change-Id: Ib6ab3a9b0163fdaa00b935962ba84eea65504eb8
Reviewed-on: https://forge.frm2.tum.de/review/19620
Tested-by: JenkinsCodeReview <bjoern_pedersen@frm2.tum.de>
Reviewed-by: Bjoern Pedersen <bjoern.pedersen@frm2.tum.de>
---
 ci/Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ci/Jenkinsfile b/ci/Jenkinsfile
index 83d88fe..0b18775 100644
--- a/ci/Jenkinsfile
+++ b/ci/Jenkinsfile
@@ -250,7 +250,7 @@ node("master") {
             if (GERRIT_EVENT_TYPE == 'change-merged')
             {
                 sh '''
-                rsync -rlv doc/_build/* /share/ictrl/public/doc/secop
+                rsync -rlv doc/_build/* /ictrlsrv/share/public/doc/secop
                 '''
             }
         }}