Update deploy config

CircleCI · CircleCI · commit ab3ed7a7ca55 · 2018-12-03T14:27:23.000+01:00
diff --git a/tools/deploy.sh b/tools/deploy.sh
@@ -2,6 +2,7 @@
 
 set -e
 npm run docs:build
+cp -R .circleci docs/.vuepress/dist
 cd docs/.vuepress/dist
 
 git config --global user.email "circleci@circleci.com"
