From d532b353c4d37dbd7f8597352b1bc157a7c230bc Mon Sep 17 00:00:00 2001
From: Harrison <yunyangdeng@gmail.com>
Date: Wed, 3 May 2023 08:43:24 -0500
Subject: [PATCH] Renamed docs page in 'Jenkinsfile'

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

diff --git a/Jenkinsfile b/Jenkinsfile
index e13aed9..ae1790a 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -29,7 +29,7 @@ pipeline {
                 source ~/.bashrc
                 npm run docs
                 '''
-                publishHTML([allowMissing: false, alwaysLinkToLastBuild: true, keepAll: true, reportDir: './docs', reportFiles: 'index.html', reportName: 'AudioShowKit Docs', reportTitles: ''])
+                publishHTML([allowMissing: false, alwaysLinkToLastBuild: true, keepAll: true, reportDir: './docs', reportFiles: 'index.html', reportName: 'Documentation', reportTitles: ''])
             }
         }
     }