fix typo in push_doc.sh

chyikwei · Sep 11, 2018 · d5e2c00 · d5e2c00
1 parent 919a215
commit d5e2c00
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/ci_scripts/circleci/push_doc.sh b/ci_scripts/circleci/push_doc.sh
@@ -38,7 +38,7 @@ for name in $(ls -A $HOME/$DOC_REPO); do
 done
 
 # Copy the new build docs
-cp -R GENERATED_DOC_DIR ./
+cp -R $GENERATED_DOC_DIR ./
 
 git config --global user.email $EMAIL
 git config --global user.name $USERNAME