From fedfb6a8b65bc87e445d8e456c2685caf511b9b6 Mon Sep 17 00:00:00 2001 From: ZhangJianyu Date: Thu, 7 Nov 2024 13:48:25 +0800 Subject: [PATCH] debug --- scripts/build.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/build.sh b/scripts/build.sh index 813ff701..4fe728e0 100755 --- a/scripts/build.sh +++ b/scripts/build.sh @@ -40,7 +40,7 @@ echo "Build HTML" cd docs make -v make clean -make html +make -i html retval=$? echo "result = $retval"