changed post-commit hook to build mans only in master

8 years ago · 21f8b480b4
parent b176040a83
commit 21f8b480b4
1 changed files with 1 additions and 1 deletions
--- a/utils/post-commit.sh
+++ b/utils/post-commit.sh
@ -4,7 +4,7 @@ set -e

 BRANCH_NAME=$(git branch | grep '*' | sed 's/* //')

-if [[ "$BRANCH_NAME" == 'develop' ]]; then
+if [[ "$BRANCH_NAME" == 'master' ]]; then
  # Build new web documentation:
  make build-gh-pages
 fi