tree 5d8bd28cb8943701c5f6821ac7364c60e2fcd56b
parent ac6627700fd89cfae08a6e8e18f8ab1c65d1ad1d
author violagao <33519250+violagao@users.noreply.github.com> 1531150919 -0400
committer Vincent <shou@us.ibm.com> 1531150919 -0400

Add script to package the documents (#220)

This PR adds another flag called UPDATE_DOC to determine if the commit
is going to change the documents or not.

Besides, it re-arranged the logic when a PR is merged into master.
It separated the conditions based on the TRAVIS_EVENT_TYPE, so that
pull requests and pushes can be more trackable.