From 173a88d2c2b29cfaf5b21a6c2b2183ab50717083 Mon Sep 17 00:00:00 2001
From: Kai <450507+neko-kai@users.noreply.github.com>
Date: Sat, 4 Feb 2023 00:45:59 +0000
Subject: [PATCH] fix doc->docs in CI build

---
 .build.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.build.sh b/.build.sh
index d3cfae0e9b..8f6863730e 100644
--- a/.build.sh
+++ b/.build.sh
@@ -37,12 +37,12 @@ function coverage {
 
 function site-publish {
   echo "Publishing site from branch=$CI_BRANCH; tag=$CI_BRANCH_TAG"
-  csbt +clean "'${VERSION_COMMAND}doc/ghpagesSynchLocal'" "'${VERSION_COMMAND}doc/ghpagesPushSite'" || exit 1
+  csbt +clean "'${VERSION_COMMAND}docs/ghpagesSynchLocal'" "'${VERSION_COMMAND}docs/ghpagesPushSite'" || exit 1
 }
 
 function site-test {
     echo "Not publishing site, because $CI_BRANCH is not 'develop' nor a tag"
-    csbt "'${VERSION_COMMAND}clean'" "'${VERSION_COMMAND}doc/makeSite'" || exit 1
+    csbt "'${VERSION_COMMAND}clean'" "'${VERSION_COMMAND}docs/makeSite'" || exit 1
 }
 
 function publishScala {