From da3187ff8f7ec3dbb4f57b51b32e9b3de691aa6b Mon Sep 17 00:00:00 2001
From: Georg Brandl <g.brandl@fz-juelich.de>
Date: Tue, 4 Dec 2018 12:47:23 +0100
Subject: [PATCH] fix changed Jenkinsfile

Change-Id: I55a9f254f140eda5c0cce14f718ba847ab1a6e2f
Reviewed-on: https://forge.frm2.tum.de/review/19534
Reviewed-by: Enrico Faulhaber <enrico.faulhaber@frm2.tum.de>
Reviewed-by: Georg Brandl <g.brandl@fz-juelich.de>
Tested-by: Georg Brandl <g.brandl@fz-juelich.de>
---
 ci/Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ci/Jenkinsfile b/ci/Jenkinsfile
index e385ed8..35ee4a9 100644
--- a/ci/Jenkinsfile
+++ b/ci/Jenkinsfile
@@ -66,7 +66,7 @@ make test
 }
 
 def run_docs() {
-    stage('prepare' {
+    stage('prepare') {
         sh '''
         . /home/jenkins/secopvenv/bin/activate
         pip install -r requirements-dev.txt