Do not check in test_coverage

diff --git a/devscripts/release.sh b/devscripts/release.sh
index 2df18cd5df6fde5f1b9227c49de31dd86283070b..233b608423b5c0c303343b5dbc8d4b57bc53a0e2 100755 (executable)
--- a/devscripts/release.sh
+++ b/devscripts/release.sh
@@ -70,9 +70,7 @@ devscripts/gh-pages/add-version.py $version
 devscripts/gh-pages/sign-versions.py < updates_key.pem
 devscripts/gh-pages/generate-download.py
 devscripts/gh-pages/update-copyright.py
-rm -r test_coverage
-mv cover test_coverage
-git add *.html *.html.in update test_coverage
+git add *.html *.html.in update
 git commit -m "release $version"
 git show HEAD
 read -p "Is it good, can I push? (y/n) " -n 1