From c1559041ab3583629ff3978528dd47b9bd206e3c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Boulogne?= <fboulogne sciunto org>
Date: Fri, 18 Sep 2015 21:24:50 -0400
Subject: [PATCH] DOC: fix env variable GH_TOCKEN

---
 tools/deploy_docs.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/deploy_docs.sh b/tools/deploy_docs.sh
index 45e64320..c25c0c1e 100644
--- a/tools/deploy_docs.sh
+++ b/tools/deploy_docs.sh
@@ -17,7 +17,7 @@ then
 
     git add dev
     git commit -m "Deployed to GitHub Pages"
-    git push --force --quiet "https://${GHTOKEN}@${GH_REF}" gh-pages
+    git push --force --quiet "https://${GH_TOKEN}@${GH_REF}" gh-pages
     )
 else
     echo "-- will only push docs from master --"