From 485b92797b40436c03b9f0079c56ffcdd30838bd Mon Sep 17 00:00:00 2001 From: Zhenyu Lin Date: Tue, 10 Mar 2020 01:35:25 +0000 Subject: [PATCH] docs: update ci config --- .circleci/update-github-page.sh | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/.circleci/update-github-page.sh b/.circleci/update-github-page.sh index 926049b..03ad8bd 100644 --- a/.circleci/update-github-page.sh +++ b/.circleci/update-github-page.sh @@ -9,9 +9,8 @@ LAST_DOCS_RELATED_COMMIT=$(git log -1 --format=format:%H \ if [ $LAST_COMMIT = $LAST_DOCS_RELATED_COMMIT ] ; then git config --global user.name 'CircleCI'; git config --global user.email 'circleci@users.noreply.github.com'; - npx documentation build src/** -f md --markdown-toc false > API.md; - npx gitbook build; - npx gh-pages -d _book -m 'Automated Github Page Update [skip ci]'; + npx documentation build src/** -f html -o docs + npx gh-pages -d docs -m 'Automated Github Page Update [skip ci]'; else echo 'Nothing related to docs have been changed. Skip.' fi;