Update docs.sh

bisohns · Feb 1, 2019 · 6f06259 · 6f06259
1 parent d5be245
commit 6f06259
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/docs.sh b/docs.sh
@@ -11,6 11,12 @@ git config --global user.name "Travis CI"
 
 # Checkout to gh-pages
 git checkout gh-pages
 if [ $? -eq 0] then
  echo "Checked out to existing gh-pages branch"
 else
  git checkout -b gh-pages
  echo "Creating gh-pages branch"
 fi 
 
 #remove existing files except html
 shopt -s extglob