tools: Remove files to be cleaned

manpages are no longer auto-generated
cov-related files should not be there (if needed we could use gitignore)

diff --git a/tools/Makefile.am b/tools/Makefile.am
index 9e5a410..bed24ff 100644 (file)
--- a/tools/Makefile.am
+++ b/tools/Makefile.am
@@ -32,7 +32,6 @@ if !GST_DISABLE_PARSE
 manpages += gst-launch-@GST_API_VERSION@.1
 endif
 
-CLEANFILES = $(manpages) *.gcno *.gcda
 man_MANS = $(manpages)
 
 # developer helper tools, not meant for installation