Fixed syntax error in bash script

sharppy · Sep 13, 2019 · 0fa8cd1 · 0fa8cd1
1 parent 7f80bc6
commit 0fa8cd1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/ci/build_docs.sh b/ci/build_docs.sh
@@ -94,7 +94,7 @@ echo "ADDING FILES"
 echo "**************************************************************************************"
 echo "Step 6: Pushing documentation to Github Pages."
 echo "**************************************************************************************"
-‘echo -e “Host *\n\tStrictHostKeyChecking no\n” >> ~/.ssh/config’
+echo -e “Host *\n\tStrictHostKeyChecking no\n” >> ~/.ssh/config
 git commit -m "Deploy to GitHub Pages: ${SHA}"
 git push $SSH_REPO gh-pages --force