From 77dc80f036cb66e58915e7173d083437d1aca60a Mon Sep 17 00:00:00 2001
From: zhaomingwork <61895407+zhaomingwork@users.noreply.github.com>
Date: 星期二, 01 八月 2023 17:21:43 +0800
Subject: [PATCH] add is_final for html5 and java client (#795)

---
 docs/Makefile |    3 ++-
 1 files changed, 2 insertions(+), 1 deletions(-)

diff --git a/docs/Makefile b/docs/Makefile
index 6b39ba6..d58379b 100644
--- a/docs/Makefile
+++ b/docs/Makefile
@@ -5,8 +5,9 @@
 # from the environment for the first two.
 SPHINXOPTS    =
 SPHINXBUILD   = sphinx-build
+SPHINXPROJ    = FunASR
 SOURCEDIR     = .
-BUILDDIR      = build
+BUILDDIR      = _build
 
 # Put it first so that "make" without argument is like "make help".
 help:

--
Gitblit v1.9.1