From b3c6ccc110f884c7d05697eb2db36c02b556138c Mon Sep 17 00:00:00 2001 From: jmwang66 <wangjiaming.wjm@alibaba-inc.com> Date: 星期一, 26 十二月 2022 16:43:33 +0800 Subject: [PATCH] update github.io page --- docs/Makefile | 6 +++--- 1 files changed, 3 insertions(+), 3 deletions(-) diff --git a/docs/Makefile b/docs/Makefile index 269cadc..6b39ba6 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -3,9 +3,9 @@ # You can set these variables from the command line, and also # from the environment for the first two. -SPHINXOPTS ?= -SPHINXBUILD ?= sphinx-build -SOURCEDIR = source +SPHINXOPTS = +SPHINXBUILD = sphinx-build +SOURCEDIR = . BUILDDIR = build # Put it first so that "make" without argument is like "make help". -- Gitblit v1.9.1