diff --git a/ci/Jenkinsfile b/ci/Jenkinsfile index 1080c5c..add8476 100644 --- 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}/" }