diff options
Diffstat (limited to 'publish_docs.sh')
| -rwxr-xr-x | publish_docs.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/publish_docs.sh b/publish_docs.sh index 1c7f4e7..5ed4247 100755 --- a/publish_docs.sh +++ b/publish_docs.sh @@ -31,7 +31,7 @@ rm -f .buildinfo echo '# Commit changes to gh-pages branch' export version=`git tag | sort | tail -1` git add * -git commit -am "DOC: update documentation for ${version}" +PRE_COMMIT_ALLOW_NO_CONFIG=1 git commit -am "DOC: update documentation for ${version}" --no-verify if [ $? -ne 0 ] ; then echo ' failed.' |