From cbf32d253b631f0e63e7accae74be7b6e1ed4dd5 Mon Sep 17 00:00:00 2001
From: Harrison <yunyangdeng@gmail.com>
Date: Fri, 28 Apr 2023 13:56:10 -0500
Subject: [PATCH] Added docs cleaning step to pipeline

---
 Jenkinsfile | 1 +
 1 file changed, 1 insertion(+)

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") {