From 6d89bbb22547491360bc83b7af91bffdc5819ed3 Mon Sep 17 00:00:00 2001 From: ZhangJianyu Date: Thu, 7 Nov 2024 13:35:30 +0800 Subject: [PATCH] add print --- scripts/build.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/scripts/build.sh b/scripts/build.sh index 0116fac0..813ff701 100755 --- a/scripts/build.sh +++ b/scripts/build.sh @@ -38,6 +38,7 @@ done echo "Build HTML" cd docs +make -v make clean make html