From 0545d26fb31a7f150e0287b02afe0d294a94a175 Mon Sep 17 00:00:00 2001
From: Robin Mueller <robin.mueller.m@gmail.com>
Date: Sun, 16 Jun 2024 18:40:36 +0200
Subject: [PATCH] stupid shell escaping

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

diff --git a/automation/Jenkinsfile b/automation/Jenkinsfile
index 46f64e6..5607568 100644
--- a/automation/Jenkinsfile
+++ b/automation/Jenkinsfile
@@ -24,7 +24,7 @@ pipeline {
         }
         stage('Docs') {
           steps {
-            sh 'cargo +nightly doc --all-features --config 'build.rustdocflags=["--cfg", "docs_rs"]'
+            sh 'cargo +nightly doc --all-features --config \'build.rustdocflags=["--cfg", "docs_rs"]\''
           }
         }
         stage('Check') {