From 1ff40a1ca9184092936fd5a2db011debda06f772 Mon Sep 17 00:00:00 2001 From: Ryan May Date: Thu, 22 Feb 2018 11:22:05 -0700 Subject: [PATCH] Fix directory layout of deployed docs --- ci/deploy_docs.sh | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/ci/deploy_docs.sh b/ci/deploy_docs.sh index 94ec4272..a3512ee2 100755 --- a/ci/deploy_docs.sh +++ b/ci/deploy_docs.sh @@ -23,7 +23,8 @@ git config user.email "travis@nobody.org" # The first and only commit to this new Git repo contains all the # files present with the commit message "Deploy to GitHub Pages". echo Updating docs... -cp -R ${TRAVIS_BUILD_DIR}/docs/_build/html/ ./ +rm -rf * +cp -R ${TRAVIS_BUILD_DIR}/docs/_build/html/* ./ touch .nojekyll echo Staging...