Copy dummy docs/circle.yml to gh-pages branch (#603)

diff --git a/.ci/deploy-docs.sh b/.ci/deploy-docs.sh
index e4dbad4..d647cb4 100755 (executable)
--- a/.ci/deploy-docs.sh
+++ b/.ci/deploy-docs.sh
@@ -16,6 +16,7 @@ mkdir $DOCSDIR
 cd $DOCSDIR
 
 cp ../docs/html/* .
+cp ../docs/circle.yml .
 
 git init
 git config user.name "Travis CI"