From 15b8a37d5030deaa7625d6c9a62671a8368e5a78 Mon Sep 17 00:00:00 2001
From: Julien Tanguy <julien.tanguy@jhome.fr>
Date: Sat, 5 Sep 2015 02:40:37 +0200
Subject: Fix typo in secure var

---
 scripts/pushdoc.sh | 1 +
 1 file changed, 1 insertion(+)

(limited to 'scripts')

diff --git a/scripts/pushdoc.sh b/scripts/pushdoc.sh
index ddab752..bea97f0 100644
--- a/scripts/pushdoc.sh
+++ b/scripts/pushdoc.sh
@@ -19,6 +19,7 @@ git commit -m "Deploy to GitHub Pages"
 # repo's gh-pages branch. (All previous history on the gh-pages branch
 # will be lost, since we are overwriting it.) We redirect any output to
 # /dev/null to hide any sensitive credential data that might otherwise be exposed.
+echo "Pushing haddock to gh-pages"
 git push --force --quiet "https://${GH_TOKEN}@${GH_REF}" master:gh-pages > /dev/null 2>&1
 
 popd
-- 
cgit v1.2.3