From 2fdb0fd98c64dd495d621dfabbf7bea8483afdc1 Mon Sep 17 00:00:00 2001
From: Harrison Deng <yunyangdeng@gmail.com>
Date: Wed, 11 May 2022 22:52:05 -0500
Subject: [PATCH] Removed doc directory deleting step.

---
 Jenkinsfile | 1 -
 1 file changed, 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 0a270dc..910d348 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -27,7 +27,6 @@ pipeline {
         }
         stage("generate docs") {
             steps {
-                sh "rm -r ./docs"
                 nodejs('System') {
                     sh "npm run docs"
                 }