fixed a type in the deploy script

Signed-off-by: Lars Heinemann <[email protected]>

Author: lhein

.travis_publish

@@ -8,7 +8,7 @@ REPO_PATH=$PWD
 SHA=`git rev-parse --verify HEAD`
 
 # Clone the existing gh-pages for this repo into $HOME/gh-pages/
-# Create a new empty branch if gh-pages doesn't exist yet (should only happen on first deply)
+# Create a new empty branch if gh-pages doesn't exist yet (should only happen on first deploy)
 cd $HOME
 git config --global user.email "[email protected]"
 git config --global user.name "travis-ci"