From b40f1530a22376abaf69c7aed690bf26d697f0b6 Mon Sep 17 00:00:00 2001
From: Johannes 'josch' Schauer <josch@mister-muffin.de>
Date: Sun, 29 Sep 2019 10:25:20 +0200
Subject: [PATCH] coverage.sh: typo, delete shared/doc-debian.tar.list

---
 coverage.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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