Next step.

w4k2 · Mar 15, 2020 · 897572f · 897572f
1 parent c673c51
commit 897572f
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/.circleci/config.yml b/.circleci/config.yml
@@ -36,5 +36,10 @@ jobs:
       - run: rm -rf tmp
       - run: mkdir tmp
       - run: cp -R doc/_build/html/* ./tmp/
+      - run:
+          command: |
+            if [ ! -d $DOC_REPO ];
+                then git clone "git@github.com:$USERNAME/"$DOC_REPO".git";
+            fi
 #      - run: bash ci_scripts/circleci/push_doc.sh
 #      - run: ls doc