Skip to content

Commit

Permalink
Merge pull request #390 from k-okada/master
Browse files Browse the repository at this point in the history
  • Loading branch information
k-okada authored Jul 2, 2019
2 parents def7590 + dc67231 commit f70dd58
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion .circleci/config.yml
Original file line number Diff line number Diff line change
Expand Up @@ -139,7 +139,7 @@ jobs:
if [ "${CIRCLE_BRANCH}" == master ]; then exit 0; fi
echo "Check if there is commit in doc directory"
git diff origin/master --name-only --relative doc
if [ "`git diff origin/master --name-only --relative doc`" == "" ]; then echo "No update in doc directory found, exitting... "; exit 0 ; fi
if [ "`git diff origin/master --name-only --relative doc`" == "" ]; then echo "No update in doc directory found, exitting... "; circleci step halt; fi
echo "Found new commit on doc directory"
- run: cd .circleci/ && git clone https://github.com/themadcreator/circle-github-bot.git
- run: cd .circleci/circle-github-bot && npm install
Expand Down

1 comment on commit f70dd58

@k-okada
Copy link
Member Author

@k-okada k-okada commented on f70dd58 Jul 2, 2019

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thank you for contributing EusLisp documentation

Please check latest documents before merging

PDF version of English manual: manual.pdf
PDF version of Japanese jmanual: jmanual.pdf
HTML version of English manual: manual.html
HTML version of Japanese manual: jmanual.html
Sphinx (ReST) version of English manual: manual.rst

Please sign in to comment.