diff --git a/.ci/deploy-docs.sh b/.ci/deploy-docs.sh index e4dbad44d..d647cb4d5 100755 --- 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"