diff --git a/coverage.sh b/coverage.sh
index 1129bf2..9adb95f 100755
--- a/coverage.sh
+++ b/coverage.sh
@@ -1560,4 +1560,4 @@ if [ -e shared/cover_db/runs ]; then
 	echo
 fi
 
-rm shared/tar1.txt shared/tar2.txt shared/pkglist.txt doc-debian.tar.list
+rm shared/tar1.txt shared/tar2.txt shared/pkglist.txt shared/doc-debian.tar.list