Revert "update push_doc.sh to fix circleCI error"

This reverts commit 0df1c1f.
chyikwei · Sep 11, 2018 · 919a215 · 919a215
1 parent 0df1c1f
commit 919a215
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 8 deletions.
diff --git a/.circleci/config.yml b/.circleci/config.yml
@@ -42,7 +42,7 @@ jobs:
       - attach_workspace:
           at: doc/_build/html
       - run: ls -ltrh doc/_build/html
-      - run: bash ci_scripts/circleci/push_doc.sh
+      - run: bash ci_scripts/circleci/push_doc.sh doc/_build/html
 
 workflows:
   version: 2

diff --git a/ci_scripts/circleci/push_doc.sh b/ci_scripts/circleci/push_doc.sh
@@ -8,12 +8,8 @@ set -e
 
 MSG="Pushing the docs for revision for branch: $CIRCLE_BRANCH, commit $CIRCLE_SHA1"
 
-cd $HOME
-# Copy the build docs to a temporary folder
-rm -rf tmp
-mkdir tmp
-cp -R $HOME/$DOC_REPO/doc/_build/html/* ./tmp/
-
+GENERATED_DOC_DIR=$1
+GENERATED_DOC_DIR=$(readlink -f $GENERATED_DOC_DIR)
 
 # Clone the docs repo if it isnt already there
 cd $HOME
@@ -42,7 +38,7 @@ for name in $(ls -A $HOME/$DOC_REPO); do
 done
 
 # Copy the new build docs
-cp -R $HOME/tmp/ ./
+cp -R GENERATED_DOC_DIR ./
 
 git config --global user.email $EMAIL
 git config --global user.name $USERNAME