diff --git a/ci/pages_deploy.sh b/ci/pages_deploy.sh index e957963ae95db41be2cf641519eefae3b68a2e70..bc92ca81def776f30332eb68031fb1c815ca4c49 100755 --- a/ci/pages_deploy.sh +++ b/ci/pages_deploy.sh @@ -15,8 +15,8 @@ PAGE_TITLE="${CI_COMMIT_REF_NAME}" if [[ ${CI_COMMIT_REF_NAME} == "master" ]]; then ROOT_PATH="" - COVERAGE_PATH="coverage/" - DOCUMENT_PATH="docs/" + COVERAGE_PATH="coverage" + DOCUMENT_PATH="docs" else ROOT_PATH="${CI_COMMIT_REF_NAME}" COVERAGE_PATH="coverage/${CI_COMMIT_REF_NAME}"