make maintainer-clean remove cover_db/

This commit is contained in:
Adam Spiers 2019-06-28 21:20:22 +01:00
parent d991dfbbf8
commit 089151c116

View file

@ -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' \