[doc] change for doc

wenbinyugroup · Sep 19, 2024 · 228fa85 · 228fa85
1 parent 0087a31
commit 228fa85
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/.github/workflows/publish_sphinx_doc.yml → .github/workflows/build_sphinx_doc.yml b/.github/workflows/publish_sphinx_doc.yml → .github/workflows/build_sphinx_doc.yml
diff --git a/docs/make.bat b/docs/make.bat
@@ -8,7 +8,7 @@ if "%SPHINXBUILD%" == "" (
 	set SPHINXBUILD=sphinx-build
 )
 set SOURCEDIR=source
-set BUILDDIR=build
+set BUILDDIR=build_local
 
 %SPHINXBUILD% >NUL 2>NUL
 if errorlevel 9009 (