diff --git a/Jenkinsfile b/Jenkinsfile index 0a5cd82..96586fa 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -4,6 +4,7 @@ pipeline { stage("clean") { steps { sh 'rm -rf ./dist/*' + sh 'rm -rf ./docs/build/*' } } stage("install") {