Remove doc and coverage directories before copying new

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}