Skip to content

Commit

Permalink
docs: update ci config
Browse files Browse the repository at this point in the history
  • Loading branch information
zhenyulin committed Mar 10, 2020
1 parent ce52a2d commit 485b927
Showing 1 changed file with 2 additions and 3 deletions.
5 changes: 2 additions & 3 deletions .circleci/update-github-page.sh
Original file line number Diff line number Diff line change
Expand Up @@ -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 '[email protected]';
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;

0 comments on commit 485b927

Please sign in to comment.