From dd43fac5a2f21ea3348be75a398efbf981b87e6f Mon Sep 17 00:00:00 2001 From: weboko Date: Thu, 22 Dec 2022 21:13:05 +0100 Subject: [PATCH] fix failure in Jenkins script --- ci/Jenkinsfile | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/ci/Jenkinsfile b/ci/Jenkinsfile index d9053ad..b229d61 100644 --- a/ci/Jenkinsfile +++ b/ci/Jenkinsfile @@ -79,7 +79,5 @@ def buildExample(example=STAGE_NAME) { def copyExample(example=STAGE_NAME) { sh "mkdir -p build/docs/${example}" - sh "cp examples/${example}/*.html build/docs/${example}/" - sh "cp examples/${example}/*.js build/docs/${example}/" - sh "cp examples/${example}/*.css build/docs/${example}/" + sh "cp examples/${example}/*.(js|css|html) build/docs/${example}/" }