From 4e2fa794193553f2ad81b807c8366645f32e4149 Mon Sep 17 00:00:00 2001
From: acereca <acereca@outlook.de>
Date: Fri, 12 Feb 2021 20:32:18 +0100
Subject: [PATCH] urgh

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

diff --git a/Jenkinsfile b/Jenkinsfile
index 321aae1..a2b3d0c 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -14,7 +14,7 @@ pipeline {
 			agent any
 			steps {
                 sh 'python3.8 tests.py'
-				sh 'Xvfb :5 -screen 0 800x600x24 &; DISPLAY=:5 make doc_images -j4'
+				sh 'Xvfb :5 -screen 0 800x600x24 & DISPLAY=:5 make doc_images -j4'
 				sh 'make -C docs html'
 			}
 		}