Mini-mode now hides/shows tab group widget and has a separate label

[disorder] / Makefile.am

diff --git a/Makefile.am b/Makefile.am
index c6ccb6f60bed6740b977e15b785fd28907ecde51..501f344842485420a9bf423a10ba47a6b8131e28 100644 (file)
--- a/Makefile.am
+++ b/Makefile.am
@@ -35,6 +35,11 @@ make-coverage-reports: check
          cd ..;\
        done
 
+clean-gcov:
+       rm -f */index.html
+       rm -f */*.c.html
+       rm -f */*.gcov
+
 echo-distdir:
        @echo $(distdir)