From d3df6f7b7f0f1b11c6cd8e4bdb2b0d61b2b154ab Mon Sep 17 00:00:00 2001
From: weboko <oleksandr@status.im>
Date: Wed, 11 Jan 2023 21:45:08 +0100
Subject: [PATCH] escape backslash

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

diff --git a/ci/Jenkinsfile b/ci/Jenkinsfile
index 5fb60aa..f18db89 100644
--- a/ci/Jenkinsfile
+++ b/ci/Jenkinsfile
@@ -79,5 +79,5 @@ def buildExample(example=STAGE_NAME) {
 
 def copyExample(example=STAGE_NAME) {
   sh "mkdir -p build/docs/${example}"
-  sh "cp examples/${example}/*.\(js|css|html\) build/docs/${example}/"
+  sh "cp examples/${example}/*.\\(js|css|html\\) build/docs/${example}/"
 }