From 089151c11670b12f348e275550648ea063df26a4 Mon Sep 17 00:00:00 2001
From: Adam Spiers <stow@adamspiers.org>
Date: Fri, 28 Jun 2019 21:20:22 +0100
Subject: [PATCH] make maintainer-clean remove cover_db/

---
 Makefile.am | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile.am b/Makefile.am
index 9917653..a6311d4 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -105,7 +105,7 @@ MAINTAINERCLEANFILES = $(dist_man_MANS) $(HTML) $(PDF) ChangeLog
 clean-local:
 	-rm -rf $(TESTS_OUT)
 maintainer-clean-local:
-	-rm -rf doc/manual-split
+	-rm -rf doc/manual-split cover_db
 
 # this is more explicit and reliable than the config file trick
 edit = sed -e 's|[@]PERL[@]|$(PERL)|g'       \