From 5250177ea4b0a375bc5b6414383f03072ed3df01 Mon Sep 17 00:00:00 2001
From: Julien Tanguy <julien.tanguy@jhome.fr>
Date: Sat, 5 Sep 2015 02:48:19 +0200
Subject: [PATCH] Silence git messages in pushdoc.sh

---
 scripts/pushdoc.sh | 14 ++++++++++----
 1 file changed, 10 insertions(+), 4 deletions(-)

diff --git a/scripts/pushdoc.sh b/scripts/pushdoc.sh
index bea97f0..34c811a 100644
--- a/scripts/pushdoc.sh
+++ b/scripts/pushdoc.sh
@@ -1,10 +1,14 @@
 #!/bin/bash
 set -e # exit with nonzero exit code if anything fails
 
+# Build documentation
 cabal haddock
 
-pushd dist/doc/html/hmacaroons
-git init
+# Go to haddock output dir
+cd dist/doc/html/hmacaroons
+
+# Quiet the git init message, since it's not useful in the build log
+git init > /dev/null 2>&1
 
 # inside this git repo we'll pretend to be a new user
 git config user.name "Travis CI"
@@ -13,7 +17,9 @@ git config user.email "julien.tanguy@jhome.fr"
 # The first and only commit to this new Git repo contains all the
 # files present with the commit message "Deploy to GitHub Pages".
 git add .
-git commit -m "Deploy to GitHub Pages"
+# Silence the commit too
+git commit -m "Deploy to GitHub Pages" > /dev/null 2>&1
+
 
 # Force push from the current repo's master branch to the remote
 # repo's gh-pages branch. (All previous history on the gh-pages branch
@@ -22,4 +28,4 @@ git commit -m "Deploy to GitHub Pages"
 echo "Pushing haddock to gh-pages"
 git push --force --quiet "https://${GH_TOKEN}@${GH_REF}" master:gh-pages > /dev/null 2>&1
 
-popd
+cd ~/build/jtanguy/hmacaroons
-- 
2.41.0