update github.io page

This commit is contained in:
jmwang66 2022-12-26 22:55:56 +08:00
parent c394e04c50
commit 8b3e0e52c5
3 changed files with 2 additions and 2 deletions

BIN
.DS_Store vendored

Binary file not shown.

View File

@ -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'

View File

@ -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: