diff --git a/utils/post-commit.sh b/utils/post-commit.sh
index fedc1858..e07d0543 100755
--- 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