From d4f5c7f5585b8c61450a01d068f0bf6498d05d42 Mon Sep 17 00:00:00 2001
From: mattip <matti.picus@gmail.com>
Date: Mon, 16 Nov 2020 18:50:03 +0200
Subject: [PATCH] fix typos in commit_docs.sh script

---
 .circleci/build_docs/commit_docs.sh | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/.circleci/build_docs/commit_docs.sh b/.circleci/build_docs/commit_docs.sh
index e125d9308f..dddade5723 100755
--- a/.circleci/build_docs/commit_docs.sh
+++ b/.circleci/build_docs/commit_docs.sh
@@ -10,16 +10,16 @@ if [ "$2" == "" ]; then
     exit 1
 fi
 
-scr=$1
+src=$1
 target=$2
 
 set -ex
-echo "committing docs from ${stc} to ${target}"
+echo "committing docs from ${src} to ${target}"
 
 git checkout gh-pages
 rm -rf docs/$target/*
 cp -r ${src}/build/html/* docs/$target
-if [ $target == "master" ]; then
+if [ "$target" == "master" ]; then
     rm -rf docs/_static/*
     cp -r ${src}/build/html/_static/* docs/_static
 fi