ci: deploy style sheet if present

2022-10-07 11:35:53 +11:00 · 2022-10-07 11:35:53 +11:00 · 101b302522
parent d9c7d2a3aa
commit 101b302522
1 changed files with 1 additions and 0 deletions
--- a/ci/Jenkinsfile
+++ b/ci/Jenkinsfile
@ -80,4 +80,5 @@ def buildExample(example=STAGE_NAME) {
 def copyExample(example=STAGE_NAME) {
  sh "mkdir -p build/docs/${example}"
  sh "cp ${example}/index.html build/docs/${example}/"
+  sh "[ -f ${example}/style.css ] && cp ${example}/style.css build/docs/${example}/"
 }