diff --git a/updatecoverage.sh b/updatecoverage.sh index 6c39c11d..398d6571 100755 --- a/updatecoverage.sh +++ b/updatecoverage.sh @@ -11,6 +11,8 @@ make coverage COVERAGE_OUTPUT=${tempdir}/coverage git checkout gh-pages +rm -rf assets/coverage + cp -r ${tempdir}/coverage* assets/coverage/ rm -rf ${tempdir} diff --git a/updatedoc.sh b/updatedoc.sh index 14b7092a..142aec68 100755 --- a/updatedoc.sh +++ b/updatedoc.sh @@ -13,6 +13,7 @@ cp -r ./doc/html/ ${tempdir} git checkout gh-pages +rm -rf assets/doxygen cp -r ${tempdir}/html/* assets/doxygen/ rm -rf ${tempdir}