From e0621ed0c7a432815c8d2958c47a276bbc1a04f5 Mon Sep 17 00:00:00 2001
From: Mathieu David <mathieudavid@mathieudavid.org>
Date: Thu, 6 Aug 2015 13:06:26 +0200
Subject: [PATCH] Add echo's to deploy script

---
 deploy.sh | 14 ++++++++++++--
 1 file changed, 12 insertions(+), 2 deletions(-)

diff --git a/deploy.sh b/deploy.sh
index 53bc472d..e1f453ce 100644
--- a/deploy.sh
+++ b/deploy.sh
@@ -3,20 +3,27 @@
 # Exit on error or variable unset
 set -o errexit -o nounset
 
+NC = '\e[39m'
+CYAN = '\e[36m'
+GREEN = '\e[32m'
+
 rev=$(git rev-parse --short HEAD)
 
+echo "${CYAN}Running cargo doc${NC}"
 # Run cargo doc
 cargo doc
 
+echo "${CYAN}Running mdbook build${NC}"
 # Run mdbook to generate the book
 target/debug/mdbook build book-example/
 
+echo "${CYAN}Copying book to target/doc${NC}"
 # Copy files from rendered book to doc root
-cp book-example/book/* target/doc/
+cp -R book-example/book/* target/doc/
 
 cd target/doc
 
-
+echo "${CYAN}Initializing Git${NC}"
 git init
 git config user.name "Mathieu David"
 git config user.email "mathieudavid@mathieudavid.org"
@@ -27,6 +34,9 @@ git reset upstream/gh-pages
 
 touch .
 
+echo "${CYAN}Pushing changes to gh-pages${NC}"
 git add -A .
 git commit -m "rebuild pages at ${rev}"
 git push -q upstream HEAD:gh-pages
+
+echo "${GREEN}Deployement done${NC}"