diff --git a/.DS_Store b/.DS_Store index 0831ca1ce..68ac8d4bd 100644 Binary files a/.DS_Store and b/.DS_Store differ diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index a846930d8..6547123ad 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -21,7 +21,7 @@ jobs: if: github.ref == 'refs/heads/main' || github.ref == 'refs/heads/dev' run: | mkdir public - cp -r docs/build/html/* public/ + cp -r docs/build_/html/* public/ - name: deploy github.io pages if: github.ref == 'refs/heads/main' || github.ref == 'refs/heads/dev' diff --git a/docs/Makefile b/docs/Makefile index 4f8a90dd6..d58379b8b 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -7,7 +7,7 @@ SPHINXOPTS = SPHINXBUILD = sphinx-build SPHINXPROJ = FunASR SOURCEDIR = . -BUILDDIR = build +BUILDDIR = _build # Put it first so that "make" without argument is like "make help". help: